Are there significant web technologies developed outside the military industrial complex?