Delete reproduce_tools.html