mail.postgresql.org is a hostname we haven't used actively for a *long*
time, so stop redirecting to it (it still worked, but is definitely very
legacy)
        return HttpResponseRedirect("/%s" % prior_to_html)
 
 def mailpref(request, listname):
-       return HttpResponseRedirect("https://mail.postgresql.org/mj/mj_wwwusr/domain=postgresql.org?func=lists-long-full&extra=%s" % listname)
+       return HttpResponseRedirect("https://lists.postgresql.org/mj/mj_wwwusr/domain=postgresql.org?func=lists-long-full&extra=%s" % listname)