<p>Double-click on the extension you would like to rename and the following window appears:</p>



<p>Overtype the new name for the extension and then press the OK button. You can edit any
other extension property in the same way, simply overtype before
pressing save.</p>