Danke für die Antwort und sorry für die lange Pause.
Über die Seite gmaptool.eu finde ich Firmware Updates für den Edge 800. Zwar von 2014, aber dafür mit 2.80 immerhin eine höhere Version, als ich derzeit habe (2.70). Der Link führt dann jedoch auf die Garminseite weiter, wo wieder nach Garmin-Express gefragt wird.

Weitere Recherchen ergeben, dass z. B. hier:

https://www.sportgaudi.at/2013/09/garmin-edge-800810-firmware-update-auch-mit-linux/

ein ganz ähnlicher Weg empfohlen wird wie der von dir vorgeschlagene. Das mit dem manuellen umbenennen des Links führt bei mir allerdings zu nichts. (Ich muss irgendwie an die Datei kommen, die ich dann manuell draufkopieren kann.)

2.80 scheint die neueste Version zu sein.

Irgendwelche Vorschläge?