web disco bookmarklet : bugs
patch twice sendWSDLs()
patch dbb bookmarklet twice as much wsdls