FYI, I bet all of the strangedocs can be converted to superdocs. It was a long time ago, but my memory is that there were quirks/bugs in parsing that were worked around by creating strangedocs but that were fixed long ago.