This reverts rDWAPPSfcbbef809cdf1569276dd44c6422e0ee4e8645af in favor of a better and simpler fix.
See https://github.com/wcoder/highlightjs-line-numbers.js/pull/62 for more details.
Build is green See https://jenkins.softwareheritage.org/job/DWAPPS/job/tox/245/ for more details.
Rebase to master
Build is green See https://jenkins.softwareheritage.org/job/DWAPPS/job/tox/333/ for more details.
Update: https://github.com/wcoder/highlightjs-line-numbers.js/pull/62 got merged \o/ so adapt diff accordingly
Build is green See https://jenkins.softwareheritage.org/job/DWAPPS/job/tox/347/ for more details.