chiark / gitweb /
remove name from index if the node name has changed