I am a happy user of hp pavilion Aero 13 on Fedora Linux, to add one more laptop to the list