We started this project before LLMs were popularized :) And surprisingly enough, experience says a lot of students would get stuck anyway.