On the other hand, we have this:

(define-public network-manager-openconnect
  (package
    (name "network-manager-openconnect")
[...]
    (properties `([...]
                  ;; The 'etc/dbus-1/system.d/nm-openconnect-service.conf'
                  ;; file refers to account "nm-openconnect".  Specify it here
                  ;; so that 'network-manager-service-type' creates it.
                  (user-accounts . ("nm-openconnect"))))))

So which is it?