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.
This repository was archived by the owner on Oct 10, 2025. It is now read-only.