It doesn't really make sense to add the current name to `previous_names`, so yes, you only need `LoadFileToRepl`.