Outside of the AOs in question, ecmarkup should warn when it sees a Completion Record { [[Type]]: ~normal~, [[Value]]: ..., [[Target]]: ~empty~ } that could be replaced with NormalCompletion(...). Similarly for ReturnCompletion and ThrowCompletion.
Related: tc39/ecma262#3414