Woah, mind blown! I googled a bit and it turns out python can execute a regular zip file if it contains a __main__.py on the top level.

So, no point in smashing all the code into one source file! Just zip it up instead. :smile:

-- I'm not mad at you, just Westphalian.