On Tue, Jan 04, 2022 at 04:08:49PM +0100, Lynne wrote:
> Since I couldn't find a codename preference, I went with "Desitter"

I just counted and i see 
2 for Desitter (the initial from the past and you)
3 for Lorentz  (the initial from the past, jb and reto )



[...]

-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

If a bugfix only changes things apparently unrelated to the bug with no
further explanation, that is a good sign that the bugfix is wrong.