The name `Tim' got much funnier after Monty Python and the Holy Grail. Thanks, Tim the Enchanter!

Of course the sort is named after Tim Peters, its author, rather than the said character. Sorry, Mr Peters!