Plugin for MkDocs to create page redirects (e.g. for moved/renamed pages).