would the developers object if, at the official github, people contributed to analysis of existing issues, submission of new issues, or PRs using frontier...