That’s not entirely what happened. The prior candidate didn’t withdraw until March 2023. Biden nominated Gomez in May 2023. Presumable the two months intervening included negotiations and background. That doesn’t sound like a priority issue.