This is a bookmarklet to edit any text on a web page
javascript: (function() { document.body.contentEditable = true; document.body.spellcheck = false; })();
javascript:(function() { const baseUrl = "https://translate.google.com/?op=translate&sl=auto&tl=de&text="; const textRaw = window.getSelection(); const text = encodeURIComponent(textRaw); console.log("selected text: ", text, textRaw); window.open(baseUrl + text) })();
I feel like there should be something like a bookmarklet store, similar to the extensions, or userscripts, right?
If you find one, please let me know