Delete /coq/94849