anche per desktop di questi tempi ha senso pensare di scaricarsi arm64, non solo per server.

vedere di ritoccare l'interfaccia per permettere anche quel download. amd64 deve comunque restare il default e la scelta non deve disturbare/confondere l'utente.