Server naming scheme

還沒有人認領這個 Issue。

We don't have many servers (nominally 1 if load allows it), but if we need to provision a bigger one, and destroy the old, it'd be good to have a reasonable naming scheme. I've found [this blog post](https://mnx.io/blog/a-proper-server-naming-scheme/) which seems reasonable. It is for a far higher count of servers than we need, so we can skip a few items, but I think something like the following:
* Servers are named `.matplotlib.org` in A records.
* Servers get a functional CNAME alias (e.g., `web01.matplotlib.org`). Since we have few servers, I suggest ignoring the geographical and environmental prefixes given in the post.
* `matplotlib.org` is a CNAME to the functional CNAME of a server.

There are several suggested word pools, but as it's fairly neutral, easy-to-remember, and not-too-difficult-to-spell, I'm going to suggest that we use [Planets in our Solar System](https://namingschemes.com/Solar_System) as ``.

Issue 中沒有指出任何檔案、測試或進入點。先檢視連結的命名方案文章和目前的 DNS/伺服器設定，然後定義提議的 A records、功能性 CNAME 以及 matplotlib.org 別名，讓命名慣例和移轉計畫明確。

由索引模型根據 Issue 內容生成。