Yesterday I found out that wordpress ch is…

Yesterday I found out that wordpress.ch is currently redirecting to wordpress.orgWordPress.org The community site where WordPress code is created and shared by the users. This is where you can download the source code for WordPress core, plugins and themes as well as the central location for community conversations and organization. https://wordpress.org/, but it should redirect to the Swiss German rosettaRosetta The code name of the theme for the local WordPress sites (eg. bg.wordpress.org is a “Rosetta” site). All locale specific WordPress sites are referred to as “Rosetta sites.” The name was inspired from the ancient Rosetta Stone, which contained more or less the same text in three different languages. site de-ch.wordpress.org instead. The WHOIS of that domain says

Holder of domain name:
DNStination, Inc.
Domain Administrator
425 Market St
5th Floor
US-94105 San Francisco
United States

So I was wondering if this domain has been registered by someone from WordPress or how to get in touch to ask for the redirection change.