If I find something like this, is it okay if I post it here? Or is there a special place for such things (github/bugtracker)?
it is okay to post it here. Best place would be the discord bug channel but discord is for paying patrons and therefore it's fine to post it here or on discord.
