I have posted this Idea on Python Discussions, and Thomnas Wouters replied to it and to others:

https://discuss.python.org/t/pep-810-explicit-lazy-imports/1...

The specific part of the PEP:

https://github.com/python/peps/pull/4628/files#diff-ca011267...