surely if they did that everybody would complain how github "lost its touch with open source since they now prioritize paid services"