Summary

Enable versioned documentation using mike so users can access docs for specific SynthOrg versions.

Tasks

• Add mike to docs dependency group
• Configure mike in mkdocs.yml (version selector, alias latest)
• Update GitHub Pages workflow to use mike deploy instead of mkdocs build
• Set up version aliases (e.g., latest, 0.1, 0.2)

Notes

• Not needed until there are multiple released versions
• mike is the standard versioning tool for MkDocs Material
• See ADR-003 for documentation architecture decisions