I could have sworn this went in, but I found it lingering at the end
of my patch queue. Last time we discussed this, I think everyone was
OK with the idea, but I thought Iʼd ask before pushing.