https://www.mediawiki.org/keys/keys.txt used to be an ASCII-only file; since the addition of Bartosz Dziewoński it is (and will presumably remain for all eternity) a UTF-8 file. However, we currently serve it with a simple Content-Type: text/plain header; as a result, a browser displaying the file may guess the wrong encoding and mangle the name:
We should probably serve it with Content-Type: text/plain; charset=utf-8.
