Rated 2 out of 5 stars

Wasn't this a FF built-in long ago?
Firefox developers have a long history of removing useful parts of the program, trying to suit ... who? What ever happened to the element properties menu item? Oh.

Rated 5 out of 5 stars

An other Restart addon was not working. I added this one and thought it was not working, then found that I was clicking the old one, which was still in the menu until a restart -- this one's fine new icon did the restart. All I ask of the code, and we got it!