I've verified that the log out box has not "reboot" option.
I do it manually (with "shutdown -r now" at the console) but I think something more friendly should be and I don't know where.

Any idea?

TIA

dex