This file has been deleted.
The reason I have checked in this message is that the merge tools
to not understand files that have been p_source_tree_removed - and
hence, each merge from ficus restores the deleted files.