Comment by semi-extrinsic

We still cannot email each other .py files where I work. But .py.txt is of course fine...