| HTML |
|---|
<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> |