Short: A datafile manager