This PR continues my previous effort (#866) in concentrating the previously diluted navi configuration in a unique file for the sake of better organization. navi customization is all about navi settings and configuration. It makes no sense having customization.md and navi_config.md at the same time. I also created a ToC to facilitate the navigation.
This PR continues my previous effort (#866) in concentrating the previously diluted
naviconfiguration in a unique file for the sake of better organization.navicustomization is all about navi settings and configuration. It makes no sense havingcustomization.mdandnavi_config.mdat the same time. I also created a ToC to facilitate the navigation.