Merge pull request #5853 from RosettaCommons/jtscott/interactive_remix_float_menu_bug [Foldit] Remix float menu.