Probably doable in an extension. That won't have any real impact — won't make it something worth using in links on the web, but could be a useful exercise.
Even minimal #line= support would be useful.
Internally, both Chrome and Firefox seem to render text/plain using one big <pre> element, which doesn't allow simple adding of anchors. Changing that would probably impact performance? Maybe JS which reacts to URL and splits the element? Don't want to re-implement CodeMirror :)
cben
commented
5 years ago
https://tools.ietf.org/html/rfc5147#section-5 for example: https://raw.githubusercontent.com/twbs/bootstrap/8b20bce873c6dce6a34fa5965481da92121bdc37/site/docs/4.1/components/modal.md#line=420
Probably doable in an extension. That won't have any real impact — won't make it something worth using in links on the web, but could be a useful exercise.
Even minimal
#line=support would be useful. Internally, both Chrome and Firefox seem to render text/plain using one big<pre>element, which doesn't allow simple adding of anchors. Changing that would probably impact performance? Maybe JS which reacts to URL and splits the element? Don't want to re-implement CodeMirror :)