Module for DNS service discovery (Apple's Rendezvous) George Chlipala <george@walnutcs.com>