Skip to content

Add version switcher, favicon, and context-dependent logo#586

Merged
nwlandry merged 7 commits intomainfrom more-website-fixesSep 9, 2024