This allows us to tell whether they appear in the user's config file, which we will need later in this branch.