Wago style connectors are still pretty rare here. Most use wire nuts still. the number 74B looks like a wire nut size from IDEAL industries as did a graphic on one of the packages. I wonder if IDEAL original wire nuts might be these, rebranded?
I had to buy some wagos for a job awhile ago, customers "friend" wired the customers basement and just bonded the device box and cut off the excess conductor and didnt bond the receptacle
