Workspace
Settings
A lightweight placeholder for user preferences, comparison defaults, and future publication workflow controls.
Planned settings
- Theme and display preferences
- Preferred languages and frameworks
- Comparison defaults
- Publishing and documentation workflow