tag 513782 unreproducible close 513782 thanks Somehow, the issue went away by itself. :-/ I will reopen the bug if I see the described behavior again. -- With respect, Roman