Wed Oct 7 2020: AT&T discontinues DSL, with big implications