Closed a PR I had open since May 2023. And a support ticket running since June 2023.

OMG, the relief.

#devops