[Tools-discuss] tools-discuss: https://datatracker.ietf.org/list/nonwg errors

[ Sorry if this is duplicate, i didn't track all recent messages to tools-discuss ]

https://datatracker.ietf.org/list/nonwg uses links to the mailing lists without
the full email address, e.g.:

https://www.ietf.org/mailman/listinfo/Iot-onboarding
https://www.ietf.org/mailman/listinfo/enterprise

When the name of the mailing list is capitalized, as in the first example (Iot-onboarding),
the behavior is weird:

- The browser shows a "Page not found" page rendered by mailman3.ietf.org
- The URL says  https://www.ietf.org/mailman/listinfo/Iot-onboarding@ietf.org
  - aka: still capitalized, but now with the added @ietf.org

When you then try to enter/load that page, it does actually load the right page
but (of course) changes it to non-capitalized: 

- https://www.ietf.org/mailman/listinfo/Iot-onboarding@ietf.org

Not sure how you tools folks want to fix this. One option seems to be to de-capitalize the 204
occurances of capital letters in those URLs in https://datatracker.ietf.org/list/nonwg.
Or else make mailman3 do the decapitalization itself correctly.. 

Cheers
    Toerless