Heavy documentation in flx_run.include.