2025-10-10: this repo is now archived. After a few years (say around 5 years) it will be deleted.

The last meaningful commit to this repo was in 2017 or so, and I doubt if anyone refers to this any more.