Deleting /coq/93745