Perhaps I should mention, although it doesn’t seem relevant, that I got this report from the database upgrade by WP:
WordPress database error: [Duplicate entry ‘1’ for key 1]
INSERT INTO wp_terms (term_id, name, slug, term_group) VALUES (1, ‘Main’, ‘main’, 0)
WordPress database error: [Duplicate entry ‘1-category’ for key 2]
INSERT INTO wp_term_taxonomy (term_id, taxonomy, description, parent, count) VALUES ( 1, ‘category’, ”, 0, 51)
Update Complete
Your WordPress database has been successfully updated!