Looks like they put HA and clustering under the same banner: https://cedalo.com/mqtt-broker-pro-mosquitto/high-availability/