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 内容生成。