Well, thinking about indeed it could helpful in some context to specify the checkers to exclude at the package definition level. Other said, this patch could be generalized. Work in progress… :-) Cheers, simon PS: I am on the train and the network connection is poor… I have sent the guix-patches but it does not appear. Hum, weird?! Is debbugs.gnu.org having issues? Because the issue rings a bell… but I do not find the message.