chiark / gitweb /
sealing-box: provide SealingBox_lidbigger (no caller yet)