> 3) The IRC bot on #ghc can now look up Trac tickets for you (this is > mostly only relevant to those of us there) Sounds great. But how can we do this? Janek