I set up an OBSD laptop, an ancient Dell Inspiron 8000. Based on the experience, I&#x27;d like to get a lightweight, cheap, relatively modern laptop. Any recommendations? Cheapest thinkpad I can find?