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?