Same as we hide the User namespace by default, there's no reason for showing the Proposal namespace in an official-looking way - except confusing people.