you are viewing a single comment's thread
view the rest of the comments
[–] 5 points 9 months ago

I was tempted to put just Rudy as in a nickname for Rudolph but decided against it.

  • source
  • parent