Delete DeveloperDocumentation.html