On Sat, 19 Nov 2016 21:54:05 +0000 Daniel Shahaf <d...@daniel.shahaf.name> wrote: > If we do keep space and tab then we should document them.
I'm inclined to get rid of them. They've been undocumented and not even mentioned in the prompt for a quarter century. If this hasn't been causing mayhem that's just luck. We are not running a service for people who like guessing features (though this may come as a surprise). pws
