Short on alternatives, fans trash Twitter’s Trump ban — on Twitter