Replace old TODO highlighting with Prelude default.