RE: Fontless Info

[Drew Adams]

> > No face there.  All it says is this:
> > 
> >  There are text properties here:
> >    fontified            t
> 
> Then that's another problem.  Look for code which should have (or did
> in the past) put a face there, but now doesn't.

That is the case for `&optional'.  That's the bug.  It should have a face (face
`font-lock-type-face), but it does not.  Font-lock no doubt does not recognize
it as something to fontify.  I see no mystery there.