The TAG does not cover the fact that licenses need to be copied to both the primary and secondary master node with HA enabled. In my mind, this should ideally be covered in the "License handling" chapter, as well as a step in the configuration instructions for HA.