Been meaning to post, but as it happened, I was apparently more exhausted than I thought (and most of the rest of the time since has been devoted to bureaucracy). Will go after DJAtomika.