Fix fancy Unicode symbols on my Ubuntu laptop.