Hi Bastien and Carsten,

On Fri, Apr 26, 2013 at 11:27:04AM +0200, Bastien wrote:
> Carsten Dominik <carsten.dominik@gmail.com> writes:
> 
> > Yes, I agree.  Let's wait for Bastien to take a last look at this,
> > but it should indeed be reverted.
> 
> Oh, I wasn't aware of this "metasyntactical" notion.
> No problem for reverting this change -- please make this
> in the maint branch so that users of 8.0.2 enjoy this.
> Also, maybe the revert of this commit is not enough,
> and we should check against remaining @var{...} to see
> if they are okay.

I did a query-replace-regexp: @var{\([^}]+\)} -> @code{\1}.  Hopefully I
skipped the right ones; patch is attached.

Cheers,

-- 
Suvayu

Open source is the future. It sets us free.