Educator workshop 2023 October: Student-paced learning