chiark / gitweb /
sealing-box: Rename some internal things (nfc)