Yeah, Roblox didn’t intentionally do this.
Also, there are no scripts in that model so that is pretty harmless anyway. You can just delete it.
Even if you don’t delete it, it can’t really do anything since it’s not a script.
I’m pretty sure I know what happened. I’m not an expert at this but I had a similar situation. Basically, what probably happened is that you had more free models and one of these had that virus. Once you pressed test game or play game the virus spread somehow. (I had that same situation, I don’t know how they spread but I assume that) This is then how it got onto the roblox model. I’m 100% sure roblox wouldn’t do that because it can’t happen by accident and the people who work there aren’t kids they’re adults that know what they’re doing.