I have a patch that probably fixes the issue (see attachment); but do
not know where to submit it for review. Is there a guide for one-off
contributions like this?
You did the right thing by sending email here. Thanks much for the
bug report and (especially) patch! I will apply it shortly. -k