chiark / gitweb /
device: ignore a couple of 'API' devices