config: pygments → highlighte