ZeroMQ docs patch