fileName static method
Generate a random file name.
Implementation
static String fileName({String extension = 'txt'}) {
final name = fileNames[_random.nextInt(fileNames.length)];
final number = _random.nextInt(1000).toString().padLeft(3, '0');
return '$name-$number.$extension';
}