@nf It looks as though I'm about a session ahead of you in setting up an rpi albeit with vanilla plan 9. All the same gotchas though. Great job with the notes. I guess your next step, is setting up a CPU server. Plenty to get wrong there, as I've just found. Again, some pi peculiarities, I think.