Paul B Mahol <onemda <at> gmail.com> writes: > Didn't I and Peter agreed that it should be SIREN? > Why it is SIREN7 now? Because of a typo here, sorry! Is it ok with SIREN (I will try to remember to double-check and add a minor bump)? Carl Eugen