Can anyone recommend a lightweight, stable distro for a thinkpad? I’m looking to mainly use it for school and was wondering if there’s any recommended distros out there for thinkpads....