yes. It's missing that the gateway launcher enables the devmenu to run and the r4 hasn't been updated ( and probably never will) to do so. Another reason I think gateway has the upper hand , having devmenu means having dlcs and install patches without the need to be on the latest version , so as long as a new patch isnt released when there is an incompatible emunand firmware , you won't ever need the eshop , just download the patch from some where in the internet and install it with devmenu