+1 for putting Norris in as a fan. However if I was Red Bull management I'd keep giving him one year contracts until be becomes a liability. They've got constructors nailed on and a clear driver hierarchy. It's ideal for them.
My understanding is that he slowed down on the race track leading up to pit entry so that McLaren could double-stack him after Piastri. It's against the rules to deliberately go slow and impede like that.
Fellow NixOS traveller. I used Nix for work and never saw the appeal of a whole OA built around it but when I saw a tutorial with the declarative config I was instantly sold.
They did discuss it on the international (Sky) broadcast.