It’s really not worth cross posting since the same people monitor both the forums and the issue tracker.
And someone already noticed your issue
Since if you posted the issue on the forums we’d just send you to github anyway to report the issue.