Merge pull request #5757 from RosettaCommons/rocccomoretti/interactive_fix_tips [Foldit] Fix the loading tips for the updated GUI. (No release notes on this one -- it's not really something we need to draw attention to.)