Arduino Bonjour / Zeroconf

That is correct, HTML5/Javascript cannot do Bonjour by itself because webSockets is far too limited, so you would have to make it a native app if you wanted to go that route. The link you gave to the 'Bonjour like' library would probably work, though it really isn't Bonjour like, and is really quite trashy, I mean really? Just ping every single IP address on the local network and hope one of them responds? It works, but not very well, especially in a large network. Unfortunately, though, I don't know of any way to do zeroconf with just webSockets, so it may be your only option if your stuck with HTML5.