Python: highlight method: no need to copy the output unicode object
Authored by: Jean-Francois Dockes 2018-12-07
Parent(s): [08bd33]
Child(ren): [cde30e]