[BUGS] IRC Channel Key

[Andrew Sinclair]

Peter Jeremy wrote:
> Due to an accident with the previous key, the key has been changed to
> NoBots.  If you forget the key, check the website or /msg one of the
> channel regulars.
> 
> I look forward to seeing more of you on IRC.
> 

Peter, please do me a small favor.

Could you please make all future keys a mathematical prime number
problem to be solved. In this way, I am not tempted to enter without at
least thinking about what I say in that room.

Or so maybe I am bored and want some math problems, rather than
communication problems   :-)