RIP Kenny Baker. Also known as R2-D2.