Remove obsolete dev.archlinux.org subdomain

This was apparently hosted on the long gone "apollo" server[1], and when
archweb was migrated to a dedicated cloud VM, it was changed to a
redirect to the main site (archlinux.org)[2][3].

It may have made sense at the time, but now four years later there is no
reason for keeping this around.

I guess dev.archlinux.org was something similar to what pkgbuild.com is
today ("Public HTML server" for staff), but only for developers.

[1] f6c3af0e ("Merge branch 'apollo_decomission' into 'master'")
[2] 824fb084 ("tf-stage1/archlinux: Change DNS records for the archweb migration and also increase the machine size")
[3] 9800d023 ("roles/archweb: Create domain redirects for the domains that point to specific archweb sub urls.")

roles/archweb/defaults/main.yml

 archweb_dir: '/srv/http/archweb'
 archweb_domain: 'archlinux.org'
-archweb_alternate_domains: ['www.archlinux.org', 'master-key.archlinux.org', 'dev.archlinux.org', 'packages.archlinux.org', 'planet.archlinux.org']
+archweb_alternate_domains: ['www.archlinux.org', 'master-key.archlinux.org', 'packages.archlinux.org', 'planet.archlinux.org']
 archweb_legacy_domains: ['ipxe.archlinux.org']
 archweb_domains_redirects:
         'www.archlinux.org': '$request_uri'
         'master-key.archlinux.org': '/master-keys/'
-        'dev.archlinux.org': '/'
         'packages.archlinux.org': '/packages$request_uri'
         'planet.archlinux.org': '/planet$request_uri'
 archweb_domains_templates:

roles/prometheus/defaults/main.yml

@@ -44,7 +44,6 @@ blackbox_targets:
     - https://conf.archlinux.org
     - https://dashboards.archlinux.org/healthz
     - https://debuginfod.archlinux.org
-    - https://dev.archlinux.org
     - https://europe.archive.pkgbuild.com
     - https://europe.mirror.pkgbuild.com
     - https://gitlab.archlinux.org

tf-stage1/archlinux.tf

@@ -301,7 +301,6 @@ locals {
   # dev                      = { value = "www", ttl = 3600 }
   archlinux_org_cname = {
     archive         = { value = "gemini" }
-    dev             = { value = "www" }
     ipxe            = { value = "www" }
     mailman         = { value = "redirect" }
     packages        = { value = "www" }