arbortext.extensions boolean arbortext.extensions Enable Arbortext extensions? Description If non-zero, Arbortext extensions will be used.