This is an old revision of the document!
Maintenance → About page shows current firmware version of the device. For WebHMI produced after Nov 2018 this page also shows serial number.
You can also see this information on the logon page as well: