docs: function(date) {
      return sprintf("%04d-%02d-%02dT%02d:%02d:%02dZ",
             date.getUTCFullYear(),
            (date.getUTCMonth() + 1),
             date.getUTCDate(),
            (date.getUTCHours()),
            (date.getUTCMinutes() + 1),
            (date.getUTCSeconds() + 1)
      );
  }