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!