Our mixing of jQuery and non-jQuery is odd.  Why suddenly start using it here after doing so much `document.*` above?