chiark / gitweb /
new target to remove coverage droppings