bookmarklet-download-links-and-append-html-body-to-parent.js

//Download links and append html body to parent
var doc = (window.frames.length > 1) ? window.frames[2].document : document
var jQuery = jQuery || window.frames[2].window.jQuery || null

if (!jQuery) {
    var s = document.createElement('script');
    s.setAttribute('src', 'http://code.jquery.com/jquery.js');
    doc.body.appendChild(s);
} else {
    (function($, doc) {
        var db = doc.body,
            found_links = []

        filtered_links = $.unique($("a", db).filter(function() {
            return (this.href.indexOf("OpenDocument") != -1) || (this.href.indexOf("OpenForm") != -1)
        }).map(function() {
            return this.href
        }).toArray());

        console.log(filtered_links.length + " links found");
        for (let url of filtered_links) {
            (function(url, db) {
                return $.get(url, function(data) {
                    $(data).appendTo(db)
                }).fail(function(e) {
                    console.error("Download " + url + " failed!")
                })
            })(url, db)
        }
    })(jQuery, doc)
}