New package: source-highlight-3.1.7.