See https://github.com/isagalaev/highlight.js/pull/269
It seems that this trick is not needed anymore.