Copying a favorite page adds label 'favorite' automatically to the target page

Copying a page that has previously been added to your favorites creates the label favorite on the destination page.

As it is not mentioned in the documentation it is either a bug or missing from the documentation.