What is mux.omps.omnigroup.com? (answered)

OmniFocus keeps connecting to mux.omps.omnigroup.com. Can someone explain what this server does?

Sure! This server is the backend for the Omni Magic Push Service (OMPS), which provides OmniFocus 2.4 for Mac with push notification support and improves sync responsiveness. You can read all about the new features on the blog, or get more information about the implementation on our support site.