Make generated docs differentiate between tagged versions of the repo and the tip of `main`

[arschles]

We should have a dev version of the docs and a version of the docs at each tag version, because all PyPi releases correspond to tags in the repo.