On Sat, 2018-07-28 at 01:38 +0200, Ralf Mardorf wrote: > JFTR by accident Ralph wrote "Eli wrote:", while it should read "Ralf > wrote:". Most likely he selected my reply quoted by Eli's mail, before > invoking the reply to Eli's mail. My apologies, I also didn't notice > this, when I replied to Ralph's mail, so I didn't fix it. A thing like > that could happen ;). Oops, it were nested quotes, my bad.