Better redirects in documentation