Re: Native line numbers landed on master

[Stefan Monnier]

> As long as we (or, rather, you) tell others to prefer that style, it's
> not way down the list.

I didn't tell anyone to prefer that style, actually (or at least,
I tried to write it such that it doesn't say that, maybe I failed).
I just wanted to point out that recentish changes make the difference
between 'foo and #'foo slightly more visible and as a result you might
like to reconsider your recommendation to strip the #.  You might still
decide that the # is too ugly to keep it where it's not
absolutely needed.


        Stefan