Some tweaks to the ZeroMQ page.