After renaming pages (Sitemap - SEO) there is no automatic refresh (yet), so that pages are seemingly keeping their old names after the renaming procedure, only after a manual browser refresh the new page names become visible. This is true no matter how many pages are renamed prior to browser refresh.

Suggestion: automatic refresh of the page tree, similar to the behaviour when pages are moved by drag and drop inside of the page tree (sitemap).