rt，exlg和smart-luogu这两个插件已经下载过了。