Greetings- The paste bot for paste.lisp.org has been missing from the #evergreen channel on FreeNode for quite some time. I doubt that anyone has mentioned it to you before now. Is there anything that can be done to bring it back? Thanks! -jeff