@vees I am sure there are some articles about it out there that I don't have in my archives. I can only offer you my assurance that this happened. I was involved in the coordination and discussions with the core developers that solved these problems on site and beyond.
@vees I guess the person to quote is Jan, then.
@jwildeboer