please improve config.bat show-preference command,
(1) remove option <-p value | --type=value>, because it's not documented and no way to know what it should be.
(2) add option to show preference for a specific user.
We need this to determine what preference is eventually applied to an user, especially when he belongs to many groups. It's quite time consuming to check the preference on each group.
(3) an option to export all configured preferences (not default) on all groups / users would be very helpful.