Вполне допустимо использовать nav
там. Вы также можете посмотреть aside
, можно ли его удалить, или использовать section
теги внутри nav
, чтобы лучше разделить контент. Это возвращает нас к целой дискуссии по семантике, где моя позиция, если это имеет смысл, сделать это. Это не должно быть на 100% семантически правильным, поскольку никто, кроме людей, которые смотрят на исходный код, никогда не узнает.