On Tue, Dec 21, 2021 at 09:19:20PM -0500, Leo Famulari wrote:
> Would someone like to write a proper commit message and add a code
> comment?

How about the attached patch? I'd like to push this soon, because it's a
severe problem for some users.