* (bug 5384) Fix <!-- comments --> in <ref> extension