chiark / gitweb /
info() for ignore_remove