A RESTful API for the RAGEagain data by Patrick Galbraith