maybe define it as  `ListOfPaths` in `tools.convert` (which should become `tools.separated`?)?