EDIT: it looks like it's just the chipset and it's not sold directly - instead, one should look for devices based on it. I wonder if they have any competition, or whether I can just safely assume that any USB3.0 to VGA dongle will work.
EDIT2: Also found this:
> If they are advertised with 2048 × 1152 maximum resolution and support for Mac OS X, or only have a USB 2.0 interface, they contain a DisplayLink chipset and are not compatible with osmo-fl2k! The price range for the FL2000-based adapters is $5-15, whereas the DisplayLink devices typically cost more than $25. Also note that devices sold with USB type C connector contain a different chipset (e.g. Realtek RTD2166) and are just DisplayPort to VGA converters.