MKR1000-compatible mDNS discovery?

I'm trying to find the IP address of an mDNS-advertised server on my local network. I've been looking at the available examples on the web, but I didn't find anything about compatibility. Can anyone tell me if there is a mDNS server finding algorithm available that is compatible with the MKR1000's WiFi chip?

bump. Still looking. Does anyone have something?

The MKR1000 can listen to multicast UDP messages - therefore it is “compatible” in principle.

And I also see that the WiFi101 lib contains code supporting MDNS:

I found example code using this feature at:

I hope this helps!
with regards,
Michael