I see, maybe we should add that using OgmProperties make it easier to migrate between stores while the other one is used for specific options. It might seems obvious but, as a user, I tend to get confused when I can do the same thing in two different ways