Rated 5 out of 5 stars

I've missed for a long time being able to export a list of extension names so that I know what I had installed. I used to use MR Tech Toolkit which enabled even more options that this extension provides but was quite a lot larger. For a more minimalist extension it does the job well.