Experimenting with Python syntax highlighting