An example from customer: a join query is faster when one runs it with index_condition_pushdown=off. The difference is not big, but it's repeatable, so it is worth to investigate it.

Query and dataset were provided by joffrey.

Details are here in private comments (it's customer data).