Last Modified: 05.08.2020
Changing hostname in the pool is performed via the menu item 1. Manage servers in the pool > 5. Change hostname.
It prints a host name update message, where you can change the hostname or enter a new one and confirm the update:
Host receives a new name on success: