Google
 

Trailing-Edge - PDP-10 Archives - bb-bt99g-bb - deb.mic
There are no other files named deb.mic in the archive.
edit 'a
*s/exit
*0lk
*ex