This is a legacy version of the repository. It may be incomplete as well as
inconsistent. See README.history for details. For the old stock of the
repository copyright and licence conditions apply as specified for versions
commited after 2015-05-18. Use recent versions as a base for new development.
The legacy version is only stored to keep a record of history.