Update highlighter configuration.
Fix permalinks.