Nope! This is the first I’d heard of it. I’ll remove my link. I may not have time right now to find another no-paywall source for that article, but at least not contributing to DDoSing someone would be good. Thanks for the heads-up.