Explorer filtering

While focused on the VS Code file explorer, just start typing to filter your workspace files.

Swap between highlighting matched files and hiding unmatched ones.