Before revision: Popular Linux distributions include Debian, Fedora Linux, Arch Linux, Android, and Ubuntu.
After revision: Popular Linux distributions include Debian, Fedora Linux, Arch Linux, and Ubuntu.