Wicket W. Warrick is an Ewok from the Star Wars universe. The character first appeared in Return of the Jedi and was intended to be played by R2-D2 actor Kenny Baker. However, Baker fell ill and was replaced on short notice by Warwick Davis.
Interestingly, the last name of the character is spelled similarly to, and pronounced the same as, the first name of the eventual actor. Is this a coincidence, or was the character specifically named for Warwick Davis? That is, what specific out-of-universe evidence do we have for the origin of the full name?
Also, I don't recall the character's full name being used in-universe in the Return of the Jedi, though I do remember it being used in the associated merchandising. If it was ever used on-screen and in-universe (as opposed to, say, in the credits) in any film or TV series, what was the first time? Or is the full name only known from text media (scripts, credit sequences, toys, novelizations, etc.)?