chiark / gitweb /
redirect stdout/stderr back when closing the pager (#5661)