- cite Eisner's tutorial \cite{eisner:tutorial}
- \cite{pettie:onlineverify} online lower bound
- move the remark on disconnected graphs? separate section?
+- mention graphs with non-unique weights? also in the separate section?
- Some algorithms (most notably Fredman-Tarjan) do not need flattening
-- reference to mixed Boruvka-Jarnik
+- citation of mixed Boruvka-Jarnik
- use the notation for contraction by a set
- mention bugs in Valeria's verification paper
- more references on decision trees