Note
This repository has been replaced by its owner's GitHub profile repository.
This repository was created before its owner learned that every GitHub profile has its own repository.
Most works are automatically covered by copyright, but all my GitHub contributions are dedicated to the public domain (no copyright) under the CC0 1.0 Public Domain Dedication, a copy of which is in LICENSE.txt.