On Thu, 15 Apr 1999, David W. Tamkin wrote:
As I read it, 822 allows whitespace only *immediately* before the colon
Yes, that is correct (and is what I meant).