IT should probably mention the crucial difference that `toFile`'s parameter order is conducive to UFCS, especially if the file name convenience overload is going to stay.