Ja ja ja toda la razón.
Supongo que para eso tendrían que meter en el pack de guacamole donde viene la 9.5.4 una rom de 10. Ahora no le veo sentido porque la más baja es Pie y supuestamente esto es para downgrade. Tal vez cuando salga 11 hagan uno pero en vez de 9 pues con 10.