chiark / gitweb /
Loopy: optional 'autofollow' UI feature.