Right. WAGO makes push-in connectors in addition to the lever-actuated ones.
On the surface, these may appear to be the same as backstab receptacles. But it might not be fair to judge push-in connectors based on one poor implementation. The discussion here is interesting.