And what do I use as a virtual interface? A gif-dev doesn’t seem to be the right choice when I look at the manpage… maybe I should ask misc…