Another electric-punctuation tweak: no space if we might be in a URL (/index...)