Hi Michael!



 Michael_Suo:

Do you mind making an issue on Github with the same repro?


Let me apologize for not creating a github issue.  It turns out I would
need a github account to do so, which I don’t have.  It might be fastest
if someone with a github account could link to my post, or something.
Best.
K. Frank