Translations:Manual:Extensions/76/en

The updater maintenance/update.php removes them, when you run it, after you have uninstalled the extension.