chiark / gitweb /
Various, style: Generally prefer `: ' over ` : '.