97269fa479
This updates the version numbers after the v0.9.0 release and adds a version selector option for the v0.9.0 docs. Co-authored-by: driazati <driazati@users.noreply.github.com>