Refactored tips panel extension point
Version 1.1 by Thomas Mortagne on 2023/02/15
The tips panel extension point has been refactored to be safer and easier to use. See AddTipToTipsPanels for more details on how to define a tip in 15.1+.
