Both `gtk+` and `webkit2gtk` plugins use input files that are not
actually translated. These input files has been renamed to their
final names.