The text ab7315ed74b4, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
number section headings in an HTML file
hxnum(1) on Linux now
