The KU Leuven mailing list are regenerated every day. So in order to
prevent anoying mails from reaching our already quite full mailboxes, we
can just mute te list periodically.