Comment on Ask HN: I Want to have a small Linux laptop. What are my options?