docs: function getNightlyPatch(plainPatch) {
      // We're going to append a representation of the current time at the end of the current version.
      // String.prototype.toISOString() returns a 24-character string formatted as 'YYYY-MM-DDTHH:mm:ss.sssZ',
      // but we'd prefer to just remove separators and limit ourselves to YYYYMMDDHHmmss.
      // UTC time will always be implicit here.
      const now = new Date();
      const timeStr = now.toISOString().replace(/:|T|\.|-/g, "").slice(0, 14);
  
      return `${plainPatch}-dev.${timeStr}`;
  }