HOT POTATO LICENSE
                  Version 2, September 2021
All rights reserved by the last person to commit a change to this
repository, except for the right to commit changes to this repository,
which is hereby granted to all inhabitants of the Milky Way Galaxy for
the purpose of committing changes to this repository.