[dev-context] minor problem with utf-8 inside \startintertext