Initial commit on GitHub. Draft: incomplete and not ready for
production.