dChild(a);
    url = window.URL.createObjectURL(blob);
    a.href = url;
    a.download = `gingko-writer-db-${dbName}-export.json`;
    a.click();
    window.URL.revokeObjectURL(url);
    addInfo(`Download should be complete. Look for "gingko-writer-${dbName}-export.json" in your file system`);
  }

  downloadDb();
</script>

</body>
</html>