chiark / gitweb /
poster-tube-lid: adjust catch_pin_slow_x_extra from v2