This updates the docs and the driver, in a manner backwards compatible with existing highlighters. (None of the highlighters are touched by this change, yet tests continue to pass.) Part of issue #329.  | 
			||
|---|---|---|
| .. | ||
| highlighters | ||
| highlighters.md | ||
				
					
						
							This updates the docs and the driver, in a manner backwards compatible with existing highlighters. (None of the highlighters are touched by this change, yet tests continue to pass.) Part of issue #329.  | 
			||
|---|---|---|
| .. | ||
| highlighters | ||
| highlighters.md | ||