Got a Rasberry Pi 3 with a ~16 GB Model 10 SD card. So when deciding between Ubuntu Mate 16.04 and Rasbian, which one should I prefer? Has anyone tried both or either and had a better or worse experience? Thank you.