Do we have any stats for the number of GitHub discussions created each month to compare to this?