WinRMRemoteWMIUsers_ vs. Remote Management Users

Hi,

I'm not sure about the differences between these two local groups on a Windows Server 2012 or if they are nested somehow. Membership in one of these group is sufficient to access a remote server via Server Manager. I can see the 'Remote management users' group in the PSSessionConfiguration, but I cannot see the WinRMRemoteWMIUsers_. How does it work?

Many thanks!