This is still the same amount of duplication, except way easier to parse. Docs nav now lives in `_config.yml` and you must restart jekyll to see changes to that list (since config is only read at jekyll launch)