Re: Links in WoMan buffer should not call `man'

[Richard Stallman]

    Some time later, I am realizing that string_match_1 is using
    current_buffer's case table.  Since the string being matched against
    might have nothing to do with the current buffer, this seems
    incorrect.  Is this a red herring?

I think it is not the main problem here.

You are right that it is unclean in principle to use the buffer's case
table; but it makes no difference in practice.