> That syntax does look pretty wacky, [...] Suggestions for improvements are wellcome. The syntax needs to allow the inclusion of any literal string; it would be nice if the old `[[ ]]' could fit as a special case of the new format. -- Roberto