The Mantis page has moved to yrstm.github.io/mantis/.