Thanks for informing about the bug section! I thought you didn’t have a public bug tracker, but my memory must’ve failed me