Hi @maxvdschee,
We've finally got this deployed and I've activated it for your repo. Sorry about the long delay, we're deploying a lot of stuff at the moment.
For anyone experiencing this in the future, you can message the activations team, as described here, and we'll get this fix turned on for you.
Thanks.