Hallo Cyx,
wobei mich interessieren würde ob sogar <ol> statt <ul> Vorteile etwa zur Orientierung haben könnte.
IMHO ja. Schließlich ist die Reihenfolge der Menüpunkte ja auch nicht willkürlich gewählt, sondern festgelegt => geordnete Liste.
Viele Grüße,
Christian