[EXT] Re: l3backend: adding new DVI specials?

[Jonathan Kew]

On 14/02/2020 13:08, Zdenek Wagner wrote:
> Several drivers already have a command line switch for disabling the warnings.

This is the correct solution, IMO. Creating some kind of new internal 
syntax for silently-ignored-by-default "special" content just pushes the 
problem down a level without really solving anything.

Specials are inherently driver-specific and non-portable, and a driver 
cannot be expected to do anything with specials it doesn't support 
except to ignore them. Whether it does so silently or issues a warning 
is a choice for the user to make.

JK