Theres this video at this link:
Randomness In Gdevelop | How to Generate Random number in Gdevelop
And the video has RNG, but am I wrong in thinking it doesn’t use any extension? Because that’s what it looks like. But, that being said, I was unaware that GDevelop already had randomness, and if it did, then why did anybody take the time to put it in an extension?