External files without sentinels

Sentinels may be objectionable in collaborative environments.

There are several ways of creating external files that don’t use sentinels, including @auto and @clean. See Leo’s directives documentation for full details.