Shantideva, 8th century Buddhist monk's Archives