[docs] [issue12832] The documentation for the print function should explain/point to how to control the sys.stdout encoding