# This option has been obsolete for some time
AllowDotExit
