Fun extension that replaces political names on social media with nicknames made by certain politicians.
