A simple REST server for education.