Unicode characters in menu. When was it fixed

2

I guess this is a benefit of using Python 3 where everything is text unless it is explicitly not :slight_smile: .