There's no harm in posting these issues on github. It's just much easier to organise them as the issue lives with the code repository rather than on an external forum.