micro:bit's documentation on how to import extensions is pretty bad. To get extensions you either search for it, or enter the URL of the github IF the developer used PXT (Programming eXperience Toolkit)