[chem83]

Not that it should matter, but Palmer hasn't worked for Google since 2021.

[brucehoult]

Huh. Rivos and now Meta. I hadn't picked that up.