Stepik Courses and the EduTools (JetBrains plugin)