I see that the v30 PPA has builds for ubuntu 19.10 and older, but not for 20.04. Is this intentional or an oversight? I ask because I still have some old laptops that work well as frontends using the Slim playback profile, which has been eliminated from v31.