A `nav` element might be more structurally meaningful here.