A join query is faster with index_condition_pushdown=off
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).