I never said to add it to the main repo operated by the F-droid team. I suggested adding it to an alternative 3rd-party repo that allows non-open source applications.

Obviously a repository compatible with F-droid can be called an F-droid repo, and is called as such by both the community and in official documentation. That doesn’t mean its necessarily owned or operated by the F-droid dev team as you seem to think I’m implying.