A very simple extension that adds a "restart shell" function to the user's menu, with a confirm dialog. - View it on GitHub