Sensei - Change "course" slug to "workshop"
add_filter( 'sensei_course_slug', 'sensei_custom_course_slug', 10 ); function sensei_custom_course_slug () { $slug = "workshop"; return $slug; }