
        Factor out FileManager::read_file().

5ce869d