Eli Zaretskii writes: >> From: Tim Landscheidt >> Date: Sun, 14 Jan 2018 20:32:19 +0000 >> >> So this behaviour cannot be changed, but should be document- >> ed. > > Patches to document this will be welcome. > > Thanks. I took a shot at it. Please review.