chiark / gitweb /
sealing-box: move BoxLocals (code motion, nfc)