In the example above only the “pi” gets converted to something else [&p1;]? – which is misleading… because that character can be represented in HTML as &Pi; but the above “conversion” gets me confused 🙁