This isn't an ascii char and it doesn't print good on all the terminals. The replacement doesn't even increase the binary size due to the encoding.
It is maintained as is in the RPC console though as it displays a bit nicer, and this is a controlled environment.

ninja all check-all

Grep for the char and see it has been removed everywhere it needs to be.