Document the use of "shutdown" and "port" attribute of <Server>