chiark / gitweb /
addcases is broken, remove it.