Delete PROCEDURES.md