Documentation: fix some outdated paths