Export works but not when `] add` package

Thank you for this good idea @gdalle :smiley: I opened an issue on my repository and will try to code what you suggested!