The Reddit WAS bot for /r/amateurradio