* gnu/packages/pretty-print.scm (highlight): Update to 4.7. Signed-off-by: Ludovic Courtès <ludo@gnu.org>