more unicode

3 jobs for gen_proofmode in 12 minutes and 3 seconds (queued for 3 seconds)