Add introduction to student-facing docs