What happens if IntervalManager hasn't been loaded at this point? Alternatively, what's the point of the `load_IntervalManager` function, rather than just referring to `window.InstructorDashboard.util.IntervalManager`?