Update Mission: separate README.lhs