def same_text(s1, s2):
    """True if both strings are the same, ignoring case."""
    # note, unicodedata.normalize is a good idea to get this to work all the time,
    # but this is only used here to compare against our simple directive names
    return s1.casefold() == s2.casefold()