On Tue, Oct 24, 2023 at 01:43:55PM +0200, Phil Sutter wrote: > My earlier adjustment to describe the actual behaviour is obsolete given > that I adjusted said behaviour upon request. Revert the change in patch > 1 and introduce a new copy-edit in patch 2 making the text a bit more > clear and removing a mistake. > > I will fold both commits before pushing them out. Keeping them separated > for the sake of easier reviews. Patch applied after folding the series into one.