The extension preferences allow the user to set the type of an extension that WebTide does not recognize by default.