First, I would like to say thank you for bringing this to my attention. I have been working in other repositories and I’m afraid I missed your GitHub issue.
I’ll will begin looking into this, and I will hopefully have a fix out very soon.
As I progress, I will follow-up both here an on the GitHub issue you’ve created.
Cheers,
Zak
P.S. Are you currently blocked, or is this an annoyance that needs resolution?
I just wanted to follow up. We have merged a change that we believe resolves your GitHub issue. Again, we apologize for letting that one slip through the cracks, and we appreciate your diligence in reporting the issue!