Update the TODO notes in the manual to avoid confusion