Thank you so much for the link to the github.com/mintty report -- the best problem is a known problem :) I've posted a comment to that report with a little more info.