Merge branch 'devel' into 'main'

setup.py

src/coursebox.egg-info/PKG-INFO

src/coursebox.egg-info/SOURCES.txt

src/coursebox/core/course.py

src/coursebox/core/info.py

src/coursebox/core/info_paths.py

src/coursebox/material/_extra_info.pkl

src/coursebox/material/documentation.py

src/coursebox/material/homepage_lectures_exercises.py

src/coursebox/student_files/student_files.py

sym

ym