theres supposed to be a setting where we can either auto install or prompt users to install - but until we get that working, you would have to ask folks to install it (though this is only required once, extensions are tied to a github account)