Added code origin (the pygments highlighter is taken from the IPython project)