The text 8f5efaaefba4, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
converts between stag formats
stag-xml2itext(1p) on Linux now