* HTML redirect using vuepress plugin * Add other needed redirects Co-authored-by: Evert Timberg <--global>