Hyperon Wiki Extensions+MeTTaLog (Legacy)+approved by