chiark / gitweb /
sealing-box: break out inner_buttress_h in LidProfile