Hi, I am wondering, whether an IRC channel dedicated to greasemonkey-related discussions exists. If yes, what is it? If not, why not? Thanks, \Anton. -- An undefined problem has an infinite number of solutions. -- Robert A. Humphrey