I reported a similar issue the other day. I’m wondering if there’s a better place for bug reports, like github?