sync (mostly FCT docs and err_isolines test)