Removed: no need to matain a jQuery file any more