>While Kodi is a legal set-top box for streaming, it supports a myriad of third-party add-ons that provide access to pirated media.
Kodi is not a "set-top box". Kodi is software. A set-top box might be pre-loaded with Kodi, but it is not Kodi, anymore than a phone is an "Android". As far as I'm aware, the Kodi team doesn't even sell or officially endorse any pre-loaded hardware set-top box.
This sort of mangling is disappointing from a tech-focused news outlet like The Verge. It also reinforces the implicit association between Kodi and piracy, which is the very thing that caused Google to remove Kodi from search results in the first place.