chiark / gitweb /
pager: introduce "jump to end" option