The front-end for a GTD-style to-do system