Deletion of MIDI 1.0

Comment: to MIDI. This could perhaps have been dealt with outside AfD as a merge or a bold redirect, but there is a valid deletion criterion: . This page looks like a MIDI 1 technical manual, and Wikipedia is not a manual. Instead of deleting and redirecting, suggest the closing admin just create a redirect, preserving page history should anyone wish to merge any content in the future (although not much would be suitable for merging, which is why I don't propose merge
Stance: merge
Cited policy: Wikipedia:What Wikipedia is not (WP:NOTMANUAL)