Integrate the RichTextLabel editor plugin?

We have a set of plugins to make formatting and writing text easier in Godot 3.1. Should we integrate it to Godot slides? See https://github.com/GDquest/kickstarter-quest-3/tree/master/gdquest-godot-theme/addons