(re)enabled python highlighting