Excellent Add-On Rated 5 out of 5 stars

Very useful add-on. Keeps an excellent record (digital or print) of all of your extensions used and the details of each.

You must open the add-ons window, and you will find the "Dump List" button at the top right, just next to the search box. Also, if you open the dropdown button at the left of the searchbox, the last option is "Dump List" again.