>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes: Eli> Making that the default sounds like TRT to me, and it solves the name Eli> conundrum. Following Jan's follow-up, I plan to leave the option. So the naming issue remains. Tom