chiark / gitweb /
poster-tube-lid: Make SomeStrap etc. take width; adjust catch