Comment by kown7

What solved some of my problems was a Firefox plugin called MarkDownload. Instead of saving a bookmark, just download the thing (as a text file) which makes it easier to find by search (or just grep -R).