chiark / gitweb /
remove udev docs