source.dot.net has been updated and massively improved. It now has support for mobile, fuzzy searching, per repo filtering, resizable panes, and much more.
* There's a couple theme fixes in PR and one that splits the dotnet/dotnet filter apart to the actual sub repos
