@timsong-cpp is right: this is my mistake.

Ah, that's because plain "magenta" isn't a thing: P0893R3 only defines "mangeta with strikethrough". So I suppose that's an error in the original paper already that translated into erroneous application?

Ah, that's because plain "magenta" isn't a thing: P0893R3 only defines "mangeta with strikethrough".

The magenta comes from the \oldtxt macro, which is basically \removed with a different color. It can't be applied to markup, and large blocks of strikethrough do nothing for clarity, so I usually just {\color{oldclr} ...} large blocks. The error in the paper is not describing the usage of "red/magenta without strikethrough" and "cyan/gold without underline" correctly.

Also, "Mangeta" sounds like one of Godzilla's opponents - or a Super Sayan.

"Mangeta" is clearly the spin-off following the adventures of Magneta's manservant.

Attractive. — Critics.