Full threadGrothendank·This is reminding me of the demise of AOL. Suddenly ads were everywhere. Then AOL was nowhere.View on HN