2 ms·

Exactly this. I see no reason to rename the file, it is effectively identical so the existing name is helpful and well known.