Update onboarding.tex