F5, the application services and application delivery networking, has just bought NGINX, best known for its speedy open-source web server.