I'm aware that micropython-lib has been languishing - and so are Damien and Jim. It's still on their radar though and they're aware that it's a growing problem. I hope we'll start to see some activity there soon and I'm going to do what I can to help out...
The intent to rejuvenate micropython-lib is there (see
PR376), it's just been a lack of time.
Ideally, I'd like to reign in the forks (though I understand they're necessary while there's no activity!) and merge in as much as possible (especially SpotlightKid's excellent work). There needs to be a little bit of guidance put in place too - for example, PR's are more likely to be merged if there are tests, CPython compatibility, documentation and are PyPi publishable.
So I'd suggest -
please! - continue to raise PR's.