docs: function gpsTimestampToUtcTimestamp(gpsTimestamp) {
    // Get lastIndex for which our gpsTimestamp is greater
    var lastIndex = void 0;
    for (lastIndex = 0; lastIndex < gpsLeapSeconds.length; ++lastIndex) {
      if (gpsTimestamp - gpsLeapSeconds[lastIndex] > 0) {
        break;
      }
    }
  
    var leapSecondsOffset = gpsLeapSeconds.length - lastIndex;
  
    return new Date(gpsTimestamp.getTime() - leapSecondsOffset * 1000);
  }