We are using the html device. It can also be written as the html device.

The device name can be overridden. Both escape forms work for the name.