2 The default display name, if nothing is provided by the extension, is the file name.
3 The display name could be changed in different versions. There are three versions
4 of change1.oxt available:
8 v3: change1 de - changed display name -
10 change1_mod.oxt is the same as change1.oxt version 1 except that is has a display name.
11 This situation should actually never arise, because the version should always be
12 changed when the extension is changed - and be it only the display name.