Hello Python Dev!
As you all know modules don't support properties. However several places and modules could use properties on module level. For example the sys.py3k_warnings flag could be implemented with a property. Other flags in the sys module could benefit from read only properties, too.
How do you like the general idea of properties for builtin modules. That is modules written in C like the sys module.