The text 3ab03c8c25b2, as Debian 3.1 (Sarge) shipped it.
Push a text property.
mtext_push_prop(3m17n) on Linux now
