3 ms·I'm not sure if the pun was intended, but if not, it would've made an excellent joke.by andrewrothman 9y agoI'm not sure if the pun was intended, but if not, it would've made an excellent joke.jewel777 9y agoUnfortunately, people don't always get jokes right away. Certain amounts of explanation can be necessary.jdoliner 9y agoIt's almost hard not to make that joke, horizon.io just lends itself to that so readily.