Is `$LDAPServerPort` ever used?