@mhoye@cosocial.ca my understanding is that mirrors.kernel.org (mirrors of a bunch of distros) is operated entirely separately from kernel.org itself (the kernel). But still, yeah :/