On Fri, Jun 20, 2014 at 12:38 PM, Federico Leva (Nemo) <nemowiki(a)gmail.com>
wrote:
number of
comments. On the annotator they are shown directly as highlighted
text, here there is a number per paragraph, which perhaps makes the layout
less bloated.
Micru