update: prepare to go with highlight.js rather than pigment