Since @rms now has an official fedi account, my bot parroting his political notes @rms shall be retired.