chiark / gitweb /
log info only if we actually delete the node