I agree with you in principle, but in my mind there's a slight disconnect between a proof of a theorem that can freely be built upon by the mathematical community and the social media integration no one asked for that a 5 person point-of-sale startup writes months before going bankrupt.