On Tue, Apr 13, 2021 at 06:39:26AM +0200, Bastian Blank wrote: > Where was that discussed? It was discussed in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947759 , with responses from both Ben and Noah.