Time for Discord so we can ping each other more often.