Checkin: updated DocRepo