Is there a way to avoid the manual step of enabling the extensions for a given workspace? Same question for settings -- can those automatically be set? There are other similar extensions that do this, but I much prefer your approach of allowing profiles to be mixed/matched! It would make sense if this was an opt-in feature, but this would make this plugin so much more useful IMO!