It's too bad DOGE killed 18F. Doing this kind of thing, and doing it well was their whole reason for being.