Dan Nicolaescu wrote:

>   > > Faces don't have "-face" suffix anymore now, some face names have been
>   > > kept for compatibility, but it would be good not to introduce new
>   > > ones. 
> 
> For this you'd need to do something like:
> 
> (defface vera-font-lock-number-face 
>   ...
>   ...)
> (put 'vera-font-lock-number 'face-alias 'vera-font-lock-number-face)

Done.

> Note that my code was not an objection in any way, just making sure
> that there's a good reason for adding these faces, and there is. 
> 
> What is the next step? IMHO this code is ready to be checked in. 

Yes, please have the code checked in.  Thanks.

Reto