https://www.transportation.gov/sites/dot.gov/files/2022-03/F...
For the curious: https://www.transportation.gov/mission/budget/fiscal-year-20...
Reply on news.ycombinator.com