Many, many thanks!
I’ll keep an eye on the PR, surely is a helpful addon to the repository, even though I couldn’t get it running for now.
You should consider adding it to the micropython stubs collection, I surely am not the only person looking out for it.