Merge branch 'tmp-doc-fixes' into 'master'

Doc fixes.  Version handling fixes.

See merge request gnutls/libtasn1!86