Doc update + spurious file removal