Hello,I am implementing User Gaming in poezio in order to share e.g. the current multiplayer game in play, with a server and a port to join (if any, of course), and I think a <server_port/> subelement would be useful, because it would be clearer and more semantically correct than having a hostname:port string in the <server_address/> element (not to mention ipv6 addresses).
-- Mathieu Pasquet
