Comment by insertnickname

It's always fun to read a great comment and only then notice that it was Walter Bright who wrote it (and it often is).