chiark / gitweb /
util: when reading a line from a file have space for at least 2k chars