Merge Discord servers into one article

[MChecaH]

This PR aims to resolve the currently open issue #9934 and close #6904 given the change of direction taken in regards with how Discord Servers are handled in the wiki, both the official osu! server and community servers.

The premise is to simplify everything. Get rid of the individual articles. This will avoid adding redundant information that users can easily find in the servers themselves and reduce the overhead cost required to update the articles in the case the servers are changed.

Self-check

• The changes are tested against the contribution checklist
• Storyboard and Skinning descriptions finished
• Discuss the .md comment made under the Project Loved category. See Add Project Loved Discord servers articles #9659
• Contact hosts and get them to help with a brief description of their servers
• Add redirects

closes #9934 and #6904

[RockRoller01]

I assume getting rid of socials, websites, etc is part of:

The premise is to simplify everything. [...] This will avoid adding redundant information that users can easily find in the servers themselves and reduce the overhead cost required to update the articles in the case the servers are changed.

?

[MChecaH]

I assume getting rid of socials, websites, etc is part of:

The premise is to simplify everything. [...] This will avoid adding redundant information that users can easily find in the servers themselves and reduce the overhead cost required to update the articles in the case the servers are changed.

?

Basically get rid of all the information the individual articles provided, which was deemed unnecessary. This is either because users could already be introduced in the servers themselves or because of the information provided was of little to no value given the overhead cost that maintaining the articles supposes.

[cl8n]

probably have more wording suggestion later i just read through this once and commented on anything that stood out

also, I wasn't going to comment on the selection of servers, but discord.gg/osu seems notably missing as (afaik) the largest general osu server

[Walavouchey]

after redirects this is mergeable imo

would also add small images of the server icons to the tables to make them look neater, and add the rest of the servers from the original issue (nvm that's done already)

note this pr deletes the "osu! Discord server" article along with its channel descriptions (just like the other discord articles). i don't particularly mind this change

Question: Is peppy happy with the direction given their dislike of splitting the community further? See #9659 (comment)

i don't think this is relevant to the existence of the article. the "issue" of the community's fragmentation into hundreds of discord servers is a separate discussion

[MChecaH]

A couple servers still haven't gotten the Okay, which seems like a must according to this comment.

The new servers to add would be two tournament related servers which may warrant a new category and osu! Game, which I took the liberty to add when clayton brought it up.

Adding them, and if they're a no-go we can remove them.

Edit: #6904 (comment) As well

[cl8n]

last revie w

[cl8n]

thx 💯