server/tripe.8.in: The default port is the IANA-assigned one.