I need a new #laptop. I prefer Linux, but I keyboards are important to me. What would you recommend, anon?