Exactly this. Shouldn't be too hard to connect the dots if people really wanted to but I won't specify the names in public.