Merge pull request #4032 from RosettaCommons/jadolfbr/user2 Fix Options .user() through core. (Part 2)