Integración de los manuales del curso, uso de debmirror y configuración de /etc/hosts