Thanks jcl. Hmmm... I thought I was reading the manual... laugh Where both NFA & FXOnly are still documented...

So, if FXOnly is deprecated, that would explain the other Z3 issue too. Is NFA deprecated also?

What exactly is to be done for US accounts, then? Still use NFA? Manually tweak the .fac list for _each_ strategy? No global option like FXOnly?

Thanks.