This is a growing repo of Pavel's MongoDB tools/scripts.
One of the few consistent uses of AI for me is the creation of Tampermonkey scripts. This seems like a good task for AI, and it's super-easy to verify that things work.
So with that, I've been modifying my web experience at work by creating these small Tampermonkey improvements.
Copy Title is a script that adds a little ⧉ to headers. Click this button and the name of the header and the url is copied into the clipboard and can be pasted into:
- Google Docs as the title linked to the page
- Plaintext Markdown of the format
[title](url)will be pasted into other editors
GH Evergreen New Tab is a script makes all evergreen.mongodb.com links in GitHub open into a new tab.