@rbonini Oooh that would be nice. The extension can just reside in Google Docs like the bookmarks do.