Plugin for Mkdocs page redirects
