Merge pull request #5813 from RosettaCommons/joshmiller/exploration-win [Foldit] Allow exiting exploration mode to win intro level No release notes