Bookmarklet links〜

• Google Docs (https://docs.google.com/) · bookmarklet
• Overleaf (https://www.overleaf.com/) · bookmarklet

What is this???