Stubs for 'external.libraries' in options (a setting for declaring packages that should be loaded from the user library