It’s Official: US National Debt Rose $4.23T in FY2020 | Hacker News Reader