See: https://github.com/bmlip/course/pull/156#issuecomment-3223104105 Currently as a TODO in the lecture.
See:
#156 (comment)
Currently as a TODO in the lecture.