ids for line numbers & permalinks

[Profpatsch]

It would be nice if each div had an id attribute (in addition to the title). This way it’s possible to link to specific lines.

To make it discoverable hovering permalink symbol could be added, but that’s just a convenience.