For those to whom it may concern:
I found that my pattern above mentioned sometimes sets (for reasons I ignore) closing chevrons («) at the end of a paragraph that contains no opening chevron (») at all, and that are superfluous. To remove those, I invented this one:
Code:
Search for (with wildcards):
(^13[!»]@)«
Replace with:
\1
Good luck!