Archive 19/01/2023.

Document-switcher default to last release documentation

weitjong

The document-switcher in our main website is now defaulted to use the documentation for the last release instead of HEAD. You can still use the doc-switcher to switch to HEAD if you are tracking the master branch. This should minimize the confusion to the new users should our HEAD documentation diverts too much from our last release.