Completion: corrected presentation for extension properties
Completion: bold immediate members for extensions too