Hi Olivier and all, I’ve sent a heads-up over at the help-debbugs@gnu.org list [0], where those who’ve installed and promoted Debbugs at GNU are reading. Thanks, Ludo’. [0] https://lists.gnu.org/archive/html/help-debbugs/2011-10/threads.html