On June 14, 2023 12:42 pm, Fabian Grünbichler wrote: > the last patch is RFC since we likely want to add another change to improve the > UX, but there are several options which are all a bit meh. ping - any comments/input?