>> Would a warning in *Messages* be okay then? > > We could try that, yes. But it has to be only in *Messages*, not an > actual warning, since faces get merged and realized as part of > redisplay, when signaling an error is a bad idea. > Like this? I just checked, it passes make bootstrap and make check.