+ // Remove any previous download links
+ var old_download_link = document.getElementById("nt3d_download");
+ if (old_download_link) {
+ old_download_link.parentNode.removeChild(old_download_link);
+ }
+
+ // Continue in a callback, so that there's not a stale download
+ // link hanging around while we process.
+ setTimeout(function(the_this) { (function() {
+