This repository has been archived by the owner on Jan 9, 2018. It is now read-only.

Disclaimer

This is far from complete, and may be totally wrong for the time being. Take seriously at your peril.