The advice isn't "install Debian." It's click the "Turn On" button next to "Linux Development Environment." They can learn whatever they're curious about from there.