What's the recommended way to add additional files to an already installed library? Modify libman.json manually and execute a restore?