post-hover-tree: fix for bug FS#145
download-original.js: "Download with original filename" moved to templates, see 9764f6a80a9b04b7c5cb770bb19fe20409907dbb