The text 8b80cffe06b7, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
latexmlfind(1p) on Linux now
