I am working on fixing it so there is no need for updating the elf. The solution will work for everyone, and will no longer require extra steps to get it to work for your IP.If it matters, I wrote something that generates geckiine .elfs with your IP set.
Until the day comes when the IP can be selected from within the console, maybe you could have it download that to the SD. It still has to be run on Windows to actually make/change the elf, but... I mean, it's better than having something on the store you can't really use at all. Plus it's nice to know there's a way to change it without having to download it all over again. But hey, I didn't make this thing. Wonder what OatmealDome thinks.
...It would actually be pretty cool if there were a way to use something like this store to put in an IP and download a patched elf that way. I wonder.