usr/lib/open-axiom/lib/ht*
usr/lib/open-axiom/lib/hypertex