Subject: bug#59779: string-equal-ignore-case's docstring is misleading

From: Nicolas Graner <[email-masked]>
Date: Fri, 02 Dec 2022 17:57:15 +0100

The docstring for string-equal-ignore-case reads:
  Like ‘string-equal’, but case-insensitive.

However, string-equal accepts symbols and strings as arguments, while
string-equal-ignore-case accepts only strings. This can be confusing to
people familiar with string-equal.

Either string-equal-ignore-case should be made to accept symbols as
arguments, or the doc should be clarified.

Nicolas