Comments can be left in GitHub issues.