Although maybe RFK Jr. thought he was picking Sheridan.
sounds like a good fit for RFK Jr. Dems preferred he take Aaron Rodgers. I doubt the capital "L" Libertarians will be in love with the choice. Greens may be a better fit.