Yes, we know what "proprietary software" means. We're looking for clarification on how using a proprietary tool that allows students to better share source code

Yes, we know what "proprietary software" means. We're looking for clarification on how using a proprietary tool that allows students to better share source code and collaborate with each other and the society at large counts as "anti-educational".