Docs proposal: Change from docs.fp.o/diversity-inclusion/ to docs.fp.o/dei/

Migrated from pagure:fedora-diversity#235.

---

Summary

Use a redirect and change the URL of our team Docs Website from docs.fp.o/diversity-inclusion/ to docs.fp.o/dei/

Background

I have two motivations to propose this change:

1. A shorter and easier to type URL for all things related to D.E.I. in Fedora Community
2. To actively reflect our team's evolving focus since launching in 2015 across our team's digital identities (like the Docs Website)

Steps to solve

We should check with the Docs Team or find help from someone who knows more about creating redirects of content for Fedora Docs. I have two ideas of how this could be accomplished:

1. The Docs team could create a redirect in the Antora config from the old namespace to the new namespace
2. Fedora Infrastructure could rewrite requests at a DNS level to substitute /dei/ for /diversity-inclusion/ in all Fedora Docs requests

I'm not sure if there is a preferred way of solving this kind of problem in Fedora. It would be good to check in with both teams, preferably at the same time or same ticket.

Outcome

A shorter and more memorable Docs Website URL that also reflects our evolution as a team