Sounds good. As a matter of fact, I check for occurrences of ``$$`` in sdt.core and couldn't find any ;-)