The documentation incorrectly states that
% svn copy foo.c bar.c
and
% cp foo.c bar.c
% svn add bar.c
are equivalent. However, the first one keeps foo.c history and the second gets
rid of it, which is the reason why we do repocopies.
Fix this and explain the difference.