port timer_remaining_mode option to PraghaPreferences