Yes probably is redundant since its in the documentation path of the main site.