So what if I have to repeat the navigation markup 8 separate times? It’s not that hard. We used to do it for much larger sites! I would still be tempted to use

So what if I have to repeat the navigation markup 8 separate times? It’s not that hard. We used to do it for much larger sites! I would still be tempted to use a static site generator for it. You can always hand over the compiled output for the next person to maintain. Other tools like sass/less, I would be less tempted partly because it's slightly harder to get human maintainable output (though the argument of a small site counters that too!)