another question on installation following https://docs.prefect.io/core/getting_started/installation.html If I want to change the port from 8080 to some other port, how to do this? this is for a case that something else is installed on this server and uses the 8080 port

Check this . You can set the port for the services

thanks