[ET Trac] [Einstein Toolkit] #728: RCSfile appears in lower left corner of UsersGuide and MaintGuide