Redirecting from /docs/getting-started/what-is-distr/ to /docs/