Ask HN: What is a good small Linux for education · HackerTrans