Logic and Proofs uses some mathml formula as dropdown choices, presumably duplicating formulas used in the question body. However, in HTML, dropdown choices are restricted to a plain text content model. This apparently worked in legacy because the browser effectively stripped the tags and only rendered the concatenated text content, and in these simple formula that was acceptable because they were strings of unicode characters, including some math/logic symbols. But the route to rendering in torus does not do the same.
This handles them in migration by converting to plain text.
Logic and Proofs uses some mathml formula as dropdown choices, presumably duplicating formulas used in the question body. However, in HTML, dropdown choices are restricted to a plain text content model. This apparently worked in legacy because the browser effectively stripped the tags and only rendered the concatenated text content, and in these simple formula that was acceptable because they were strings of unicode characters, including some math/logic symbols. But the route to rendering in torus does not do the same.
This handles them in migration by converting to plain text.