BTW, it would be good to introduce a more general mask to all our logging functions. I wonder if there is a library that could be used to do this. _Originally posted by @Zimmi48 in https://github.com/coq/bot/pull/317#pullrequestreview-2364963014_