Hello John,
Sorry for the delay, I was on vacation :-)
> Well, I do have another use case:
>
> Lecturing with slides (e.g., in reveal.js).
This is a fair point. It is also the case where my usual suggestion of
adding line numbers with additional scripting is not very practical as
the author of a presentation is not necessarily a JavaScript coder. Nor
is it any more practical to persuade all presentation tools to include
such scripting.
The problem is however with the (perceived) downside of having line
numbers in the script leading to people using it everywhere even when
it's not needed. I'll try to re-evaluate my views on that. It may be
that just not having the feature on by default may remove the problem as
people rarely fiddle with settings anyway. I'll take some (not very
long) time to ponder on that.
Another question is implementation. I don't like the one with which I
came up myself that wraps individual lines in `<span class="line">`,
there are a couple of problems with it. Will you be up to discuss and
implement line numbers if we ultimately decide to go with it?