Remember this anti-Trump petition academics signed?