pothos-gui: tooltip formatting fixes - uses <p>