Deleting /coq/94246