Arabic translation for pretty-topic-types Extension