chiark / gitweb /
main: explain our /etc empty check a bit in a comment