Spotted: Tux, the Linux penguin, on the @VirginAmerica reboot screen. Guess that answers that question.