I am currently using RaberryPi OS (fake fkms) and mpv to play 3k youtube vp9 videos. Because vlc can't play 3k videos smoothly, I think it would be helpful to include mpv in the official Devuan image.