chiark / gitweb /
De-dupe choose_{next,prev}_clicked.