Fix redirections in the generated sphinx doc