Server naming scheme

Nadie ha tomado este issue todavía.

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 ``.

En el issue no se identifican archivos, pruebas ni puntos de entrada. Empieza revisando el artículo enlazado sobre el esquema de nombres y la configuración actual de DNS/servidor; después, define los A records propuestos, el CNAME funcional y el alias de matplotlib.org para que la convención de nombres y el plan de migración sean explícitos.

Escrito por el modelo de indexación a partir del texto del issue.