generate_plugins_json.py 在 GitHub 进行速率限制时会默默地删除插件（并且 plugins.json 已过 8 天的有效期）

I went to send a follow-up PR regenerating `dashboard/public/plugins.json` and stopped, because the generator produced a file that looked fine and was missing five plugins. The regeneration is worth doing, but I don't think it should be done by hand until this is fixed.