Renaming category does not rename about category post

Sorry if this is by design but I thought I’d mention it:
I just created a new category (“Website feedback”) and then realized that there already is a category named “Site feedback” so I edited my new category to be called comments and to be a child category of “Site feedback”. It worked fine except that the About post in that category was still called “About the Website feedback category” rather that “About the Comments category”. When I opened that post and clicked to edit the heading, it automatically adopted the new heading “About the Comments category”. Wouldn’t it make sense that this happens without me attempting to manually edit the heading?


I tried to reproduce this but I think it is fixed.

On changing name of categeory - About the category topic also changes according to new name.

From the code I can see the relevant code which makes this change here: