This is an old revision of the document!
If you need reboot of shutdown WebHMI you can do this at Maintenance → Reboot & Shutdown page.