On Sat, Aug 24, 2019 at 05:49:52PM +0000, Giuseppe Crinò wrote: > On Fri, Aug 23, 2019 at 10:29:00AM +0200, SZEDER Gábor wrote: > > What I wonder is whether we really have to remove crud from the user > > name if it comes from the configuration. > > Yes. If the primary use of removing crud is to remove quotes from a > quoted name (as in `From: 'Foo baz Bar'`) why not directly removing > pairs of quotes around the name and leave crud _inside_ the name? I keep forgetting crud is removed *around* the name. By the way, it's probably more conservative to remove crud (without removing quotes) and finally remove surrounding quote pairs.