HomeSoftware Heritage

common/highlightjs: Fix issue with Pygments 2.7