@corbet@social.kernel.org What a rotten thing to do. I’m sure someone else would be willing to take over running that if it’s too hard or too expensive for Google.