FYI, I did drop custom branding from kernel.org Anubis screens after the latest update. Mostly, it's because custom branding is now a part of the subscription service they provide (while keeping it fully free software), so I didn't want to create potential confusion. Also, that mascot is now nearly everywhere, so my initial reservations about its use are mostly moot.