Añado más información, por si a alguien le es de utilidad. Desde la versión 4.18.4 he actualizado a la nueva, y la configuración del RLMud funciona perfectamente (por ahora), así que puede ser algún problema con la descarga del paquete RLMud_config.
Esta tarde probaré con otro equipo «limpio», a ver si me ocurre lo mismo.
