Create 2.0.1 tag about website HOT 2 CLOSED

Typically the tag is created after all the commits have been made for the release. E.g. if there are some open PRs for the next release, they should all be merged into gh-pages, then a tag created on the HEAD.

Tag creation has to be done locally (and to push, you have to have write access on this repo):

git checkout gh-pages
git fetch && git pull
git tag 2.0.1
git push --tags

Once the tag is pushed, you can start drafting a new release based on the tag.

from website.

Closing as a duplicate of #120.

from website.