Fix examples; add syntax highlighting