chiark / gitweb /
poster-tube-lid: abolish top_thick (which is now not really meaningful)