> On 8 Oct 2021, at 12:43, Daniel Gustafsson <daniel@yesql.se> wrote: > .. let's just remove it. Concretely, the attached is what is proposed.