$ 0 0 You can post in issues as there is no such thing as discussions on github (which is a shame). I will classify your "issue" as a feature request if it is.