Package: stx2any

"stx2any" package binaries on Debian:

/usr/bin/extract_usage_from_stx /usr/bin/gather_stx_titles /usr/bin/html2stx /usr/bin/strip_stx /usr/bin/stx2any

You may install this package on Debian with apt-get install stx2any