Enhance code highlighting in README (and doc, for viewing in github)