GitHub repository: yeefun/notion-mark-manager
Primary language: JavaScript
Description: Browser Extension - efficiently manage colored texts and comments in Notion.