Is this where we post bugs? Or is there another location for that?
I'd recommend posting any bugs / issues on the GitHub pages:
Of course, this is just what I'd recommend doing as it's easier for the developers to track all issues in one centralized place, there's no harm being done if you prefer to post your bugs on these forums.