r/opensource just banned AI, non-English speakers, and more – The Verge October 25, 2026 by quixnet r/opensource just banned AI, non-English speakers, and more The Vergesource