Let's do that, yup. In both cases (here and there), let's also make a comment saying that we're using the oldest supported version of jQuery as the default. That way, if we change the oldest supported, we'll hopefully grep and find these places.