Hey, you’re right!
Though I found that the code on that page doesn’t actually work, it results in a DeprecationError. I was able to get streaming to work by calling the REST API directly, using code from this thread. That’s probably a better place to continue the discussion on streaming.