Gundo, overlength, fix for snippets, some more stuff, presumably