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