Aha, I was too fast.
I thought we had it in one place only and I didn't even grep for it ...