Added REST documentation through Miredot