Function push

scripts/generate-third-party-notices.mjs:567–567

(...xs)

  const lines = [];
  const push = (...xs) => lines.push(...xs);
  const hr = () => push('---', '');

  push('# Third-Party Notices', '');