Oh! I gotta fix that.
FYI: following @keith’s initiative, I’ve synced with Github and made the repository public: GitHub - RicoTrevisan/Tiptap-for-Bubble: This is a repository based on the Bubble plugin 'TipTap rich text editor with HTML output' (https://bubble.io)..