Section about File's to_array()