Translations:Manual:Extensions/74/en

As far as they have to do with rights, which come from the removed extension, you can remove these lines as well.