Hello all, I recently wrote an updated proposal about breaking up typeshed into multiple PyPI packages, starting from this comment: https://github.com/python/typeshed/issues/2491#issuecomment-611607557 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