Hi, This mostly automated email made me smile, knowing that debbugs is the thing running https://bugs.debian.org/ and processing this very email. I know of one single other instance at https://debbugs.gnu.org/ Greetings