在 NOI-Linux 中，Visual Studio Code 的扩展在第一次启动时安装。考场上扩展会下载吗？还是说没有网就下不了。