Ben Gamari authored Aug 31, 2023 and Marge Bot committed Sep 08, 2023

I suspect this code is dead since we haven't observed this failing
despite the obviously incorrect macro name.