Fix code highliting
Change old github urls to new ones
Merge branch 'source'
Publication 15 Jul 2013 16:03:31