chiark / gitweb /
read list of devices from index, make index private to database