Fix cross-reference to FDL
Port syntax checker index
Improve rendering of syntax checkers
Port @xref links

Also resolve them properly for HTML output