Turns out this was what Adrian Newey’s “other projects” included. Can’t say we’re upset.