/*XXX this is straightforward to fix but I have no time right now */ tasks so we don't lose track of them. Format and purpose are documented at the top of the file. Discussed with Christos and others