Rename REST-paths.html to REST_paths.html