Is your feature request related to a problem? Please describe.
This repository is too big. I want to shrink it.

Describe the solution you'd like
Move files under src/extlib/ to another repository.

Describe alternatives you've considered
No idea.

Additional context
The purpose is to shrink this repository, so I think this should be done for all branches.
And this request is related to #180.