Testing Unicode in some JS generated by a Python script

Something interesting might appear here