Hi, not sure what exactly helped, but today I tried posting the comment again, and it worked — it was published without any issues. My original comment was still awaiting approval, so I just deleted it. Anyway, thanks for your help!
