
Paris Themmen -- who played little Mike Teavee in "Willy Wonka & The Chocolate Factory" -- tells TMZ ... he didn't bring up that interesting tidbit while getting introduced on Tuesday night's episode because Trebek had clearly decided NOT to mention it.