export { getSettingsManager, UserSettings, ProjectSettings } from './settings-manager.js';