chiark / gitweb /
delete stuff about commod table cache