The text cda9fb7f5a2f, as Debian 3.1 (Sarge) shipped it.
Pop a text property.
mtext_pop_prop(3m17n) on Linux now
