I found a bug in Github within the filtering mechanism

Hi guys from the Github team,

maybe I found an error in the repository filtering mechanism: E.g. my repositories:
https://github.com/SeppPenner?utf8=%E2%9C%93&tab=repositories&q=&type=&language=arduino

When I try to filter for projects that are sources and have the language "Arduino", this does not work and the selecction box switches back to "all" again.

Please see the image under https://abload.de/img/githubfail6qpns.png, too.

Strangely, this only happens with the "Arduino" language (Probably the first after "All" in the selection box), with the others I could not find this issue.

Can you check if this is reproducable?

Thank you in advance.