Fix cross-reference
Use official Texinfo htmlxref database
Move metavariable markup out of domain
Document Texinfo integration
Use extension version in conf.py