And if so have they analysed WHY they like it? How mature [not too problematic for a plan9 beginner] is the rPi installation? ==TIA