+DONE: remove "Discard core events" from options menu
+DONE: remove binary installer (poppler is binary incompatible across versions)
+ but provide configure script
+
+REMAINING THINGS TO DO:
+
+- collaborative editing (see discussion with Erik Demaine)
+- porting to Win32 and MacOS; merge Nokia port
+- multiple-scenario undo history
+
+- collaborative: allow non-x86 endianness (for ints, for floats?)
+- collaborative: have an initial undo item = contents of the initial
+ xoj file + attachments for bitmap, pdf, and ps backgrounds
+
+- cleanup of undo history (keep track of refcounts, delete old undo)
+ save-and-clear-undo ?
+
+- RandR / recalibration awareness?
+ (e.g. if xinput events are far away from core events, re-query geometry?)
+ or see if removing the GTK bugfix would help? -- e.g. by recalling an
+ internal gtk init function?
+