Robin Berjon @robinberjon · 31 Oct 2015 Replying to @rgaiacs True, but in fairness we require a TeX <annotation> precisely for the unfortunate reasons that @pkrautz listed.
