Sounds good thank you! GitHub issue works. I think it might be some sort of edge case cause you’re the first to report on it. And I haven’t run into myself.
Discussion
I was able to get to it today after all; and, I was indeed able to repeat the problem. Here's the link to the issue in I logged in Github. All do what I can to help you figure it out; and I'm looking forward to hearing what makes it an edge case; but otherwise, good luck! 😉
BTW, I doubt there's anything you can do about it, but it looks to me like someone's mining your Github issues looking for a sucker they can 'help':