It would be helpful to have an automated fetch utility to download new problems and convert them to the format used by this project.