Web developmentTerraform Docs .html RedirectMichael PRedirect requests ending with .html to the non .html version on the Terraform Docs website