Peter Bengtsson

That web extension needs some work then :( Instead of just replacing "/es/" with "/en-US/" it should go to https://developer.mozilla.org/es/docs/Web/JavaScript/Referencia/Objetos_globales/Math/round$json and read the `url` from the right `.translations` array. I...

I think this is an open bug and it ought to be fixed because it *can* be fixed. We can't control Google but we can control our own cookies. Although...

Thank you for your vocal support @WvanDam ! It's definitely inspiring to hear and it gives us fuel to find the time to work on it. Now, the idea of...

@apapsch We use the `Accept-Language` header when you request a URL that doesn't explicitly specify which locale it wants. E.g. ``` ▶ curl -I -H 'Accept-language:ja' https://developer.mozilla.org/docs/Web/CSS HTTP/2 302 content-length:...

The reason the locale is in the URL, and not dynamic, is because MDN isn't dynamic. (Some parts are, but not document articles). The content is served as static files...

Would be nice if @mindy and @schalkneethling can digest this before we do a triage.

and @Gregoor

@ddbeck Was this your suggestion too?

In principle, I like that idea. We use PyGitHub which is a very capable lib for posting comments. So it probably would be quite possible. But it's a bit less...

Oh I see. I guess I could have guessed it was a specific thing when you wrote "GitHub Annotations" as a noun. So it's not simply PR comments for specific...