chiark / gitweb /
Correct sense of pause/resume tooltips