fix(web): import dependency-heavy Open VSX themes (#7642)