Shebangs and source code encodings. Python 3 when possible.