@image for pdf and html

[daniela-spit]

What is your opinion on using the same image file name for
both: (1) pdf, dvi; and (2) html.

@image(file,w,h,alttext,.png)

Meaning that html will search for the filename, but with a token being
appended to it.