Rename to open511_server, because Python packaging is infuriating and namespace packages are broken.