> With the patch below, I get The whole point is not to produce the @@ symbols any more, so this is wrong.