How do I download community extensions?

I’m new to Gdevelop and thinking about using extensions, except I don’t know where to download community extensions. Gdevelop tells how to make your own extensions, but they never tell you how to download other people’s extensions. Not looking to make my own extension, just want to download some.

The Wiki has the info available here: Search for New Extensions [GDevelop wiki]