chiark / gitweb /
cgtop: add % as key to toggle time/percentage