[09:22] godbyk: crocodoc appears to be very well made. but you have to take care of each change manually, right? [09:24] godbyk: in terms of a revision control system, each concrete suggestion could actually be a patch with message, that can be merged into the next rev by anyone with appropriate permissions [14:04] thorwil: Yeah. I manually make the corrections to the .tex files and push the changes to bzr. I generally group a few changes together so we don't have massive numbers of commits, though one could argue that I really ought to make one change per commit. [14:04] thorwil: They also have an API but I haven't looked at it at all yet. If their API allows us to download a list of annotations, we may be able to parse some of that to help automate the process slightly.