My work is generously gifting me a Thinkpad X1 carbon 12th gen. What Linux would you suggest installing? Also a Samsung S23, so which custom rom works well?