Times Roman is a normal font. It is the size that is a bit large.
Agreed FRiend, but it’s gone now. Over and done with.
Have a great weekend.