chiark / gitweb /
Revert "belt-*: allow top to be different size"