no, i use archlinux on my main desktop as i use it daily and is my main workhorse. i have a laptop that rarely gets used at that has debian on. then i have a mini pc server with debian and a raspberry pi 4 with debian based raspberry pi os.