Vladimir_Nesov comments on Open Thread: June 2010

[Vladimir_Nesov]

You can set that in “preferences”.