Get rid of the gratuitous jQuery dependency

This replaces the only call to jQuery (in the core library).