@stu VoidLinux is a great distro. It requires some reading (mainly bcs it uses runit), but it is all pretty well documented. I can recommend this vid (by a Vietnamese guy 😅), that helped me a lot last time: https://youtu.be/iYszYEMoivY?si=X0mtgQRtF9Fn6wFv

And search for jake@linux on YT, he has a ton of good videos on VoidLinux!
Void is very snappy, that T480 will love it!