MODIFIED: sgml_parse/2: unknown options are now silently ignored.