User name case insensitivity and eduroam proxying

[Alan DeKok]

> On Jun 13, 2022, at 11:47 AM, Jonathan <huffelduffel at gmail.com> wrote:
> With regards to DEFAULT matching, there wasn't anymore info in the DEBUG
> log then this:

  It only prints matching entries.  It doesn't print entries which don't match.

> We just solved the regex realm problem, apparently when you only have a
> regex realm statement, it doesn't work... When you additionally add the
> normal non-regex realm it will correctly match the regex to the normal
> non-regex statement. I don't think this behavior is in the documentation.

  That sounds like a bug.  It should work either way.  I'll take a look.

  Alan DeKok.