On 1/3/2020 7:29 AM, Steven Schveighoffer wrote: > You want as LITTLE as possible to be marked @system, not a blanket marking. Sure, but if you want to do as little work as possible, blanket marking will do most of the job.