chiark / gitweb /
install-substitutions: insist on webstump 022