chiark / gitweb /
update: remove icons when removing disabled builds