Claim: There is a short film called Luxo Jr.
Evidence: Luxo Jr. is a 1986 American computer-animated short film produced by Pixar and directed by John Lasseter.