[22:53] <ilmari> huh, what happened to ppa:kernel-ppa/mainline?
[22:54] <ilmari> ah, it never existed, why did I have that in sources.list.d?