[Bug 532813] Review Request: gummi - A simple LaTeX editor