<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="UTF-8">
  <title>Gingko Writer Database Download</title>
  <script src="https://unpkg.com/dexie"></script>
  <script src="https://unpkg.com/dexie-export-import"></script>
</head>
<body>
<h1>Your download should begin automatically...</h1>
<ol id="info"></ol>
<div id="downloadProgress" style="display: none">Progress <span id="currentRows"></span>/<span id="totalRows"></span>:
<progress id="progress-bar"></progress></div>
<script>
  function addInfo (in