dsh-plugin-managerUnverifiedPlugin manager for DeepSeek Harness2Aug 18, 2026View original installation