Describir: Detecting bots with temporal logic.