Huh, turns out this define hasn't worked in forever ... the original
[mmh] / etc / mhl.reply
2008-06-13 Josh Bressers* man/repl.man, etc/mhl.reply:
1999-04-30 Doug MorrisInitial revision