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.