DOI Release
Release drafted on 01/25/2021. In order to make the repository citable in scientific papers, it is necessary to create a release at the time you generate the Digital Object Identifier (DOI) of the repository. Thus this release number, which also includes some feature additions and bug fixes.