Hello, I'm looking for a way to speed up GAP loading. How can I do this? Or how can I minimize my workspace file? I'm assuming that unloading certain packages and components might help, but I'm not sure how to do that. Should I just move them out of the `pkg` directory? Thanks! Vlad.