whonix.org wiki translation / mediawiki extension translate - technical discussion

[Patrick]

Should we consider translating with mediawiki failed due to the clumsiness of translation extension? Therefore delete the few broken incomplete translations?