docs: Remove obsolede documentation.html