Yeah that’s what I would’ve assumed too, if they didn’t say they use Firefox as main and waterfox as secondary,since they’re essentially the same browser