Converting some ancient “@@@@“ marked items into TODO marked actions.
Clarifying a comment.