Ist es eigentlich immer noch lustig, @instantnudel@feddit.org unter diesen Beiträgen zu markieren? Ja, ist es.