VERSION 1.4
A rebuild of how jumps find their target time, and a fix for a bug that
could report a moment as missing when it was really there. Hardened to
function accurately on streams with above normal outage activity.

• On streams that have had dropouts, some jumps could wrongly say
  "Stream was down then" for a time that existed, and land a few
  seconds off. Fixed.
• Jumps now settle reliably on any stream, including badly
  interrupted ones. Previously a jump could fail to settle and
  give up.
• A time that was never recorded — because the camera was down —
  now says so plainly and places you just before the missing
  stretch.
• Times too old for the rewind buffer, and times not yet broadcast,
  each say so instead of failing silently.
• Pressing Enter or L during a jump now waits for it to finish
  rather than starting a second one.
• If a jump takes more than a moment, the box now tells you it is
  still working rather than sitting on a frozen frame.
• Status messages stay on screen a little longer.

No new permissions, files, or network activity.

VERSION 1.3
Accuracy fixes, all found by instrumenting real jumps on a live cam
after the stream had a short outage.

• Jumps that crossed a gap in the stream could wrongly report
  "Stream was down then" for a moment that was really there, and land
  a few seconds early. They now land exactly.
• Times in the older part of the rewind buffer could be read as
  belonging to the wrong day and reported as unreachable. They now
  resolve correctly.
• A time that hasn't been broadcast yet now says so, instead of
  reporting a landing that didn't happen.
• Fixed a rare case where pause stopped responding after a reload.
• On a slow connection the held frame no longer lifts partway through
  a jump.
• L now waits until the picture is actually back before saying
  "Back to live", and lands on the live edge rather than a second or
  two behind it.

No new permissions, files, or network activity.

VERSION 1.2
Reduces the visual footprint of the UI while adding keyboard shortcuts (pause, back-to-live, ±5s nudge). Gulliver now holds the player paused during a jump for landing accuracy. Playback control uses the page player's own pauseVideo()/playVideo(), reached through the same MAIN-world script already used for seekTo()/seekToLiveHead().

No new permissions, files, or network activity.

v1.1 note: Simple change raising minimum Firefox version to 140 to match the APIs the extension uses.