Now that ReadTheDocs has updated its cache, it might be safe to delete the file again.