The best Linux distro for beginners is getting a much snappier file explorer XDA