¿Qué sistema operativo es conocido por ser altamente personalizable y tener una amplia variedad de distribuciones disponibles?