chiark / gitweb /
remove debug for missing; bug seems not to exist