This JS file is loaded on every page of the website. Can you please dequeue it everywhere but on the User Dashboard page?
This also pulls in additional jQuery-related deps, bloating JS payload even further:
Footer | jquery-ui-tabs | wp-includes/js/jquery/ui/tabs.min.js | jquery-ui-core, jquery-ui-widget | sensei-user-dashboard | 1.11.4
I'd be interested in taking this on as a first issue -- I was thinking to use the is_page("my-courses") method call to only enqueue that file on the user dashboard (in class-sensei-frontend.php), but that seems brittle, since admin users can change the name / slug of the "My Courses" page.
Are there other approaches I should take a look at, or other ways you might recommend to limit the enqueuing?
Find out the option value that My Courses page can be configured with and compare against that.