Do we actually use this? I don't see any references to it below (apart from the one in `function (_, jQuery, BaseView, ...)`.