Marktodo: A syntax for TODO lists