Currently the Windows hotkey picker offers only F6, Right Ctrl, and Scroll Lock. Several users have asked for additional function keys (F7, F8, F9, F12) and the Pause/Break key.

Where to change

• windows/freeflow/models.py — add the new values to the HotkeyOption enum
• windows/freeflow/setup_wizard.py — add the new options to the hotkey selection step
• windows/freeflow/settings_window.py — add them to the settings dropdown
• windows/freeflow/hotkey_manager.py — confirm each new key name maps to a valid keyboard library identifier (see https://github.com/boppreh/keyboard)

Acceptance

• Each new option appears in the setup wizard and settings window
• Selecting the option actually arms the hotkey (manual test: release, speak, verify paste)
• The setting persists across restarts (already covered by test_config.py once the enum is extended — add a case for the new values)

Good first issue notes

This is purely additive — no existing behavior changes. The existing Right Ctrl / Scroll Lock code paths show the pattern to follow.