I don’t think it would be too big of a PR adding a custom collation option. It is basically like all the other query options already exposed and passed to the MongoDB driver.
You have my support if you want to start a PR - in that case please re-open the existing issue on Github and let’s continue the conversation there.