I wrote:
> The key point is that the space IS significant, but most people -- and
> the PIClist server -- leave it off, deviating from the standard.

I stand corrected. The server does indeed put the space there.

-- Dave Tweed
-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist