Heaven knows whose idea was to embed MantleSettings.properties in mantle-{version_no}-stable.jar. Customizing the UserConsole (/landing page) would be one of the main requirements a client would have.
Update:
The work of the awesome people at Webdetails has come to my rescue. It’s called ‘Community Startup Tabs‘.