Online Appendix for "Profile-Based Algorithm for Personalized Gamification in Computer-Supported Collaborative Learning Environments"