Good to know. I haven't decided if I'd prefer going vanilla Ubuntu. I'm going to give Pop some more time yet. I can see benefits; I'm just not sure they're for me.