Exactly, you described it well. I have answered above for the reasons why HiveMQ was not the final choice.