chiark / gitweb /
machine-id-setup: simplifications