A simple "greeter bot" for Reddit