On Sat, 28 Jul 2012, Makarius wrote: > In particular, we need to devise a plan to upgrade: > > * mira (?) Is there any mira expert who is not on vacation? Otherwise I have to start understanding its setup myself. Makarius