Fixup Mission: README.lhs: github always map links from main branch