Doc: removed non-compliant characters in citation labels that would create problems with Sphinx v1.6+ (see https://github.com/sphinx-doc/sphinx/issues/3917).

Replaced doc PDF with (very preliminary) Sphinx source.
Pushed version number to 2.24.