Hello all,

I recently wrote an updated proposal about breaking up typeshed into multiple PyPI packages, starting from this comment:

I and Ivan Levkivskyi expect to have some time to work on the implementation in May/June if we can agree on a spec. Let's continue the discussion in the issue linked to above.

Jukka