Rename File Explorer

“File Explorer” is confusingly named, as admitted by @Silver on Discord months ago. I know it’s not major, but since I have come back to Obsidian after 6 weeks trying other solutions, I just wanted to make sure this didn’t get totally lost b/c I do think it is significantly confusing for Win users.