wouldn’t hurt to submit one too no? the one I added it to didn’t get any reply so far
at least they don’t brush it off as user error if you send one too