mdp_worker.md changed because of the fix in specs.gsl