Removing libraries.html and tools.html