Hi all, I cross-post this to user- and devel-list:
The unapproved LSR-snippet: https://lsr.di.unimi.it/LSR/Item?u=1&id=1122 basically duplicates the doc-tagged: https://lsr.di.unimi.it/LSR/Snippet?id=266 If nobody speaks up I'll delete it soon. Cheers, Harm
