Use "highlighter" in config, not "pygments"
Document the new "repeatMode" property for static heads