yet more changes to dirichlet design doc

I think it is o. k. now