@xor it is insane that Twitter does not have a timed mute function by now. Insane.