Hi @Peter: you’re right – I hadn’t seen it before, so I deleted my entry (which means your comment is gone as well), since we only need to document the label once in the catalogue. Thanks for pointing it out.