Fixing app help with begin: end: fields.
Making #! a line comment only if followed by whitespace or /,
otherwise we report a bad symbol for anything other than (no-)fold-case.