Update Mission: rm README.lhs REAMDE.md