[skip-changelog] fix nav being left out form #1686 by umbynos · Pull Request #1710 · arduino/arduino-cli