chiark / gitweb /
device: handle properly if two devices want to have the same name