OK. Sorry, I thought it was there before.
I have another question, unrelated to this thread. I am trying to change the site’s tagline under Settings > General, but while the changes get saved within WordPress, they are not displayed by the browser. Do you know why this could be?