Compostelan History — Munio of Mondoñedo; Hugh of Porto; Gerard the Priest