Displaying line numbers

[Khachaturov Vassilii]

> In addition to the line numbers, there should be a <a 
> name="lXX">XX</a>
> for all lines so that one can point to them using #lXX in URLs.  Even

agreed

> better if the line referred to in this way would be somehow
> highlighted...

I doubt this is possible. The #id resolution takes place at the browser
level,
the HTTP query sent to the server doesn't normally include it.