Re (2): [Oberon] repair to HTMLDocs.Mod.