Looking for some nostrich wisdom. I am going to retire my laptop, 7 years of good service already, I am deciding on which one to buy, I have in mind brands like tuxedo, dell, lenovo, slimbook. Preferably linux laptops with coreboot. System76 is a bit out of my reach as I live in europe. Do you have any recommendations? #asknostr