I had thought about using notify_all(), but IMHO it would’ve made the discussion a little more sophisticated. I can still add it though, if I can think of an intuitive use case for it.