[NEST Users] Re: Installing an extension module in tvb-nest docker