Most headphone amps are afterthoughts, so generalizing that a dedicated headphone amp is normally going to be better than one included in a receiver, integrated, or preamp is anything but "puffery". My Modwright LS 100 has a pretty decent headphone amp, but that's an exception, not the general rule.
With a highly efficient set of inexpensive headphones the difference may not be very noticeable, but I guarantee you that listening to a high quality source with a high quality set of hard to drive headphones like LCD-4 will be a completely different experience with a quality high power headphone amp than with the headphone amp in most integrated amps.
With a highly efficient set of inexpensive headphones the difference may not be very noticeable, but I guarantee you that listening to a high quality source with a high quality set of hard to drive headphones like LCD-4 will be a completely different experience with a quality high power headphone amp than with the headphone amp in most integrated amps.