Functional Networking for Millions of Docker Desktops (Experience Report)