Translatable category names

From #2159.