Could be albeit they show Halion Sonic SE and HalionOne.
Serves me right for having a plethora of VST plugs.