I am considering using Ubuntu Server 20.04 + the mate desktop. But currently it is in beta and I am not sure if it is a fair comparison with Raspbian. But I was thinking that maybe the newer linux kernel (5.4 instead of 4.19) would bring some improvements.