On Fri, 10 Jun 2005 23:11:57 +0400 Boris Samorodov wrote: > Searching for some existing PRs, I've got to see PR docs/34982 which > appeared to be done but not closed. Sorry, my fault. It _is_ closed. WBR -- bsam