chiark / gitweb /
overflow-tube: cut adjustments