Reporter: a straightforward web tool for collaborative document production