> It's not a hard and fast rule in any English dialect. I always > double-space after a full stop, but there are various style manuals that > prohibit it, and others that require it. Typesetters (amateur and > professional) disagree intensely on it. We should not change what the > original author has done. Okay. I'll send the revised patchset. Regards, Varsha Rao