WSL/SSH 补丁（搜索与扩展）

0.2.47 2023年7月12日

本更新修复了 WSL 和 SSH 用户的搜索（Cmd/Win+Shift+F）及多项扩展问题。