Python3 highlighting does not handle non-ascii (umlauts) correctly
With python3 you can use all sorts of chars for variable, function names and so on. The highlighter does not handle this well. E.g. it stops highlighting these function:
#! python3
def büg():
print("Hello Büg")
def båg():
print("Hello Båg")
büg()
båg(