I believe so. He might have switched or tried out Manjaro since he had issues with steam on Pop_OS.