Now I'm confused: there's a similar function above in common/djangoapps/student/auth.py.  How are they related?