@Gargron The language selection item in the top menu is not in the language of the page.
@VictorVenema Do you mean the words “filter by language” or the language names? Language names are all in their native tongue on purpose to save translating everything into everything.
Gregory's Server
@VictorVenema Do you mean the words “filter by language” or the language names? Language names are all in their native tongue on purpose to save translating everything into everything.