chiark / gitweb /
remove "ignore_device"