pdf ist ein dummer Name (print document format), denn natürlich wissen wir, dass es sich um ein Dateiformat handelt. Wir nennen Dinge ja auch nicht jpegf und htmlf.