chiark / gitweb /
update: remove overly verbose message about icon sizing being correct