Short answer:

the userid portion of userid@node IS supposed to be case-sensitive.  Thus

[log in to unmask] could be different from [log in to unmask] (though
here, it actually is not).

/Pete