tags 513625 +help tags 513625 +moreinfo thanks Could you please provide a (small!) patch to the release notes? Many thanks in advance!