Remove add_master_files which stripped paths for retracted files.  Emacs PG already supports full paths here.
Remove add_master_files which stripped paths for retracted files.  Emacs PG already supports full paths here.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle