Annotate all the 'TODO' marks as relating to either the specification itself or the documentation thereof