Well of course, but since the word can mean both things, it’s a pun regardless of whether or not the devs intended it to be one.