Voor iedereen die al eens heeft geprobeerd om zich van de mailinglist te verwijderen: dit scheen niet te werken, maar we hebben het probleem nu opgelost.