Merge pull request #5816 from RosettaCommons/joshmiller/dynamic-hotkeys [Foldit] Dynamic Hotkeys and Intro File Cleanup Release notes: - Tutorial tips now dynamically refer to the correct controls for your operating system and saved preferences