My tl;dr advice for buying a computer on a budget is, get a T480s off of eBay. They are corporate cast-offs and there are so. many. of them. The R2v3 rating system has become popular. Get one rated C5 or better (cosmetic: minor usage marks only) and F4 or better (functionality: everything works). Spring for one with a backlit keyboard, and a power supply included if you want it turn key.
As of this writing this should cost around $250 and the machine should be fairly future-proof including official Win11 support. And excellent Linux compatibility - my fingerprint reader doesn't work, but literally everything else works perfectly.