Delete developer_documentation.html