On Tue, Jun 21, 2011 at 11:28:24AM +0200, Michal Lisowski wrote: > Which of these should we use? What is the python module name ('import pygments' or 'import Pygments')? What is the name of source tar? Greets, Jacek