[tex-live] [moho01ab@student.cbs.dk: [tex-k] Source specials under web2c 7.5.2]

[Fabrice Popineau]

> Not sure if this is us ... 

... definitely, it is us, but that was precisely the reason why:
- the banner advertises the engine is _TeXk_
- 'source specials enabled' message is output

I guess there is no simple way to workaround this. Source specials are
only a convenience for people doing 'regular' latex.

Fabrice