On 2014-11-26 15:45, Jussi Piitulainen wrote: > Tim Chase writes: > > bash$ echo // hello > > hello > > Where did the // go? The bad-copy-and-paste gremlins ate them :-o Good catch. :) -tkc