chiark / gitweb /
Add configurable head size.