São João ... or São João ...
On that page, the characters are displayed correctly for me. But I had several other econding problems on the site. E.g., that popup-box for downloads has double-encoded characters for german "umlaute": Instead of "PC: Rechts Klicken für" it says "PC: Rechts Klicken f&uuml;r".
The flag functions says: "Diesen Upload wegen möglicher Verstö%szlig;e flaggen" - it should be ß instead of %szlig;.
I see resolved in page.
I Closed this bug.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct.