CVS specials (inside $) are to be removed (now or soon)