Never add default to options.get() — defaults.py already supplies registered defaults

Directive (Burak Yigit Kaya, 2026-07-30): never suggest adding a default value as a second parameter to options.get() calls. All options are registered via register() in defaults.py and that registration requires a default — the options system always returns the registered default if no value is set, making options.get(key, fallback) redundant and riskily inconsistent if the registered default ever changes. Use options.get(key) only.