chiark / gitweb /
poster-tube-lid: catch: introduce catch_pin_slop_x_extra (wrong?)