Yes, it is how I programmed it. the reason why Plus can be imported in Remix is simply for porting reasons, it wasn't meant to be for you to jump between using both software. However if you think this isn't fair. Feel free to tell me and I will try modifying the code to allow you to have auto loading for it. there is an autoload feature for Remix files btw!