License used for documentation
==============================

The reference manual shipped along with this project in docs/ is
released under the following license:

  Creative Commons CC0 1.0 Universal (CC0 1.0).

For the legal code of this license, please see:

  http://creativecommons.org/publicdomain/zero/1.0/