The *%<extension>%* tag is the top level tag of every extension description. The name of the extension is specified in its *%name%* attribute. A minimal extension looks like this: