"General" = "string.general";
"Show raw station IDs" = "string.pref_show_raw_station_ids";
"Show both local and english name" = "string.pref_show_local_and_english_title";
"Convert timezones" = "string.convert_timezones";
"Localize places" = "string.localise_places";
"Developper options" = "string.developer_options";
"Raw level" = "string.raw_level";
"Show debug spans" = "string.show_debug_spans";
"Obfuscation" = "string.obfuscation_title";
"Hide card numbers" = "string.obfuscation_card_numbers";
"Obfuscate fares" = "string.obfuscation_fares";
"Obfuscate times" = "string.obfuscation_times";
"Obfuscate dates" = "string.obfuscation_dates";
"Obfuscate balance" = "string.obfuscation_balance";
"Speak balance aloud" = "string.speak_balance";
"None (disabled)" = "string.raw_level_none";
"Only unknown fields" = "string.raw_level_unknown_only";
"All fields" = "string.raw_level_all";
