Special report: Linux in education