Patch Comment Records ($: Records)

<patch comment record>

── $: ──<comment>──────────────────────────────────────────────────────┤

$: records contain comments about the patch. These records are listed if LISTP is TRUE and are written to the output PATCHES file if OUT is TRUE; otherwise, they are ignored. They can occur anywhere in the patch input. No limit exists on the number of records that can occur.