If I were to find issues, would you prefer bug reports via github issues or some other mechanism?