Issue #256: More tweaks to add Settings to side menu