Hello, it's Peter. There is some problem with linux.org.il name resolution at my provider, it may happen to others too. If you see this message, then posting to bit.site.co.il directly works. Please comment PRIVATELY. thanks, Peter (plp@actcom.co.il)