Ah, ok, I gather it seems to be possible to manually configure an IP at the gnudip online service website. Didn’t know that.