Also forwarding to doc@ and thanks again Mikhail!
Cheers
Sophie
This change is on tags and don't affect the understanding. It will
trigger review by all translators. Such changes are better carried in
the background, as are many other tag changes in the queue.