Merge proposals

mkdocs-redirects in Ubuntu has no merge proposals.