Andrea Veri commented:
This is going to be fixed soon once the 4.x servers will be drained. Thanks for reporting!