/// Returns a directory suitable for storing user-specific data.
Path get_user_data_dir();
/// Deprecated. Use the argument-less version instead.
/// Returns a directory suitable for storing user-specific data.
Path get_user_data_dir();
/// Deprecated. Use the argument-less version instead.