Re: [PATCH] formatdomain.html.in: fix 'sockets' info in topology element