The text a3cb8d9be4a5, as Debian 10 (Buster) shipped it.
display a WEB pool file
pooltype(1) on Linux now
