The IMAGE_DPI= option is not limited only to the LISTING destination, is it? I have always assumed that you can…