Github.io docs page should have version selection

[a-fa]

each release version should have its own selectable version, such that an older version's documentation can still be accessed.