Appends tl_settings with an "Activate developer mode" checkbox.