I was thinking about mentioning that wink, but wasn’t sure if my memory was playing tricks on me. Been a long time since I watched the movie, but I do remember enjoying it. Seems my favorite Python movies are the off-brand ones (Time Bandits, Munchausen, Brazil, etc)