The text 92189d04d8fa, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
renumber mma source files.
mma-renum(1) on Linux now
