chiark / gitweb /
Fix typos in README, better representation of build commands.