err_infonodechar, /* colon/comma in node name in info */
err_text_codeline, /* \c line too long in text backend */
err_htmlver, /* unrecognised HTML version keyword */
err_infonodechar, /* colon/comma in node name in info */
err_text_codeline, /* \c line too long in text backend */
err_htmlver, /* unrecognised HTML version keyword */