Limit the github comment size to 5K