Just checking: do permalinks/bookmarks get updated somewhere else?